# KEHOME/knowledge/theory/CycL/CycLvsMKR.html # Dec/24/2002 CycL language MKR language ============= ============ (#$ist context sentence) at context { sentence } (#$inconsistentWithMt sentence context) not (sentence and context) (#$genlMt MT1 MT2) MT1 iss* MT2 # at MT2 {p} implies at MT1 {p} (#$contradictoryMt MT1 MT2) not (MT1 and MT2) # content (#$negationMt MT1 MT2) not (MT1 and MT2) # domain #$Collection concepts # set #$Individual units # set #$Event events # set #$Role event attributes # set #$Nothing nonexistent #$Thing existent #$Entity entity #$Animal animal #$Person person #$Predicate characteristic #$Predicate attribute #$arity arity #$arg[N]Isa format,automatic=ISA #$arg[N]Genl format,automatic=ISS* #$resultIsa format,automatic=ISA # not implemented #$resultGenl format,automatic=ISS* # not implemented #$Predicate part #$Event action #$Function-Denotational method #$IndividualDenotingFunction-Denotational ??? # not implemented #$CollectionDenotingFunction-Denotational ??? # not implemented #$Predicate relation assertion proposition +truth value+justification+direction #$Microtheory view #$BaseKB tabula rasa #$EverythingPSC all knowledge # virtual #$ELSentence-Assertible statement ??? question ??? command ??? assignment (#$defnIff thing genus-differentia-test) existent is genus with differentia (#$equals thing1 thing2) existent1 is existent2 (#$equiv thing1 thing2) thing1 iff thing2 (#$different thing1 thing2) not (existent1 is existent2) # not implemented (#$disjointWith col1 col2) not (concept1 and concept2) # not implemented (#$isa instance genus) instance isa genus (#$isa individual genus) unit isu genus (#$isa species genus) species iss genus (#$genls species genus) species iss* genus # not proper subclass (#$typeGenls typecol col) if $x isa typecol then $x iss* col fi (#$genlPreds pred1 pred2) pred1 iss* pred2 (#$negationPreds pred1 pred2) if pred1 then not pred2 fi (#$genlInverse pred1 pred2) pred1 iss* pred2 # reverse arguments (#$negationInverse pred1 pred2) if pred1 then not pred2 fi # reverse arguments (#$genlAttributes att1 att2) att1 iss* att2 (#$negationAttribute att1 att2) not (all $x has att1 and $x has att2) # not implemented (#$oppositeAttribute att1 att2) either $x has att1 or $x has att2 # not implemented (#$hasAttributes thing att) existent has att (attribute thing value) existent has attribute = value (#$parts whole part) whole haspart part (#$physicalParts whole part) whole haspart part (#$subEvents whole part) ??? (#$timeSlices whole part) ??? (#$subInformation whole part) ??? (#$groupMembers group member) exgroup isany member # exclusive group (#$groupMembers group member) ingroup isall member # inclusive group ??? entity do action=event done (#$objectActedOn event object) entity do action=event od object done (rel thing1 thing2) existent:1 rel existent:2 ??? group:1 is begin group; ...; end group group:1 (causes event1 event2) event:1 causes event:2 # CycL not implemented? (means symbol referent) symbol means referent # CycL not implemented? #$not not #$and and #$or or (#$implies x y) x implies y # if x then y fi (#$forAll ?x y) forAll x isa existent { y } (#$thereExists ?x y) forSome x isa existent { y } (#$comment x y) x has comment = y (#$myCreator x y) x has myCreator = y #$True monotonically true ??? #$False monotonically false ???