    # KEHOME/knowledge/theory/CycL/CycLvsMKR.html
    # Dec/24/2002

# CycL vs. MKR

    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 ???

MKE home