Predicates are written before their arguments, in parentheses: For example: (#$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） 表示“Bill Clinton属于美国总统集合”； （#$genls #$Tree-ThePlant #$Plant） 表示“所有的树都是植物”； （#$capitalCity #$France #$Paris） 表示“巴黎是法国的首都”。