(=>
(instance ?S MysteryStory)
(exists (?C)
(and
(instance ?C CriminalAction)
(refers ?S ?C)))) |
Mid-level-ontology.kif 16541-16546 |
If X is an instance of mystery story, then there exists Y such that Y is an instance of criminal action and X includes a reference to Y |
(=>
(instance ?G CriminalGang)
(hasPurpose ?G
(exists (?A)
(and
(instance ?A CriminalAction)
(agent ?A ?G))))) |
Mid-level-ontology.kif 17708-17714 |
If X is an instance of criminal gang, then X has the purpose there exists Y such that Y is an instance of criminal action and X is an agent of Y |
(=>
(instance ?P Pleading)
(exists (?C)
(and
(instance ?C CriminalAction)
(refers ?P ?C)))) |
Mid-level-ontology.kif 17743-17748 |
If X is an instance of pleading, then there exists Y such that Y is an instance of criminal action and X includes a reference to Y |
(=>
(instance ?X Protecting)
(hasPurpose ?X
(exists (?OBJ ?T ?H ?HARM)
(and
(instance ?OBJ Object)
(patient ?X Object)
(subclass ?HARM
(KappaFn ?H
(and
(or
(instance ?H CriminalAction)
(instance ?H Damaging))
(=>
(holdsDuring ?T
(patient ?H ?OBJ))
(not
(holdsDuring ?T
(patient ?X ?OBJ)))))))
(or
(prevents ?X ?HARM)
(hinders ?X ?HARM)))))) |
Mid-level-ontology.kif 20326-20347 |
If X is an instance of protecting, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of object, object is a patient of X, V is a subclass of the class described by W, and X prevents the occurrence of V or X hinders V |
(=>
(and
(instance ?P Human)
(attribute ?P Criminal))
(exists (?CA ?LC)
(and
(instance ?CA CriminalAction)
(instance ?LC LegalConviction)
(refers ?LC ?CA)
(patient ?LC ?P)))) |
Justice.kif 87-96 |
If X is an instance of human and criminal is an attribute of X, then there exist Y, Z such that Y is an instance of criminal action, Z is an instance of legal conviction, Z includes a reference to Y, and X is a patient of Z |
UnitOfMeasure