(=>
(and
(equal ?X
(AttrFn ?CLASS ?ATTR))
(instance ?I ?X))
(and
(instance ?I ?CLASS)
(subclass ?X ?CLASS)
(attribute ?I ?ATTR))) |
Merge.kif 1871-1879 |
If equal X, the attr of Y, and Z and W is an instance of X, then W is an instance of Y, X is a subclass of Y, and Z is an attribute of W |
(=>
(instance ?X
(AttrFn ?CLASS ?ATTR))
(and
(instance ?X ?CLASS)
(attribute ?X ?ATTR))) |
Merge.kif 1881-1886 |
If X is an instance of the attr of Y and Z, then X is an instance of Y and Z is an attribute of X |
(=>
(and
(instance ?O OccupationalRole)
(typicalAction ?PCLASS
(AttrFn CognitiveAgent ?O)))
(exists (?X ?T ?P ?PT)
(and
(instance ?X CognitiveAgent)
(holdsDuring ?T
(attribute ?X ?O))
(instance ?P ?PCLASS)
(agent ?X ?P)
(time ?P ?PT)
(temporalPart ?PT ?T)))) |
Mid-level-ontology.kif 24538-24551 |
If X is an instance of occupational role and Y is a typical action of a the attr of cognitive agent and X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of cognitive agent (3) X is an attribute of Z holds during W (4) V is an instance of Y (5) V is an agent of Z (6) V exists during U (7) U is a part of W |
(=>
(and
(instance ?OCCD OccupationalDomain)
(instance ?X
(AttrFn CognitiveAgent ?OCCD)))
(exists (?PCLASS)
(and
(typicalAction ?PCLASS
(AttrFn CognitiveAgent ?OCCD))
(hasPurpose ?X
(exists (?P)
(and
(instance ?P ?PCLASS)
(agent ?X ?P))))))) |
Mid-level-ontology.kif 24558-24571 |
If X is an instance of occupational domain and Y is an instance of the attr of cognitive agent and X, then there exists Z such that Z is a typical action of a the attr of cognitive agent, X, Y has the purpose there exists W such that W is an instance of Z, and W is an agent of Y |
