Predicates are written before their arguments, in parentheses: (#$isa #$BillClinton #$UnitedStatesPresident) "Bill Clinton belongs to the collection of U.S. presidents" and (#$genls #$Tree-ThePlant #$Plant) "All trees are plants". (#$capitalCity #$France #$Paris) "Paris is the capital of France."
Предикаты записываются в скобках перед своими аргументами: (#$isa #$BillClinton #$UnitedStatesPresident) означает, что «Билл Клинтон входит в совокупность президентов США», а высказывание (#$genls #$Tree-ThePlant #$Plant) читается как «Все деревья являются растениями». (#$capitalCity #$France #$Paris) значит: «Париж — столица Франции».