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

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