Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18421-18442	If a physical is an instance of protecting, then the physical has the purpose there exist an entity, another entity,, , a third entity and the third entityARM such that the entity is an instance of object and object is a patient of the physical and the third entityARM is a subclass of the class described by the third entity and the physical prevents the occurrence of the third entityARM or the physical hinders the third entityARM
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13859-13859	Criminal action is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7707-7707	Smuggling is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13871-13871	Political crime is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18286-18286	Trespassing is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18303-18303	Defrauding is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18445-18445	Murder is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18580-18580	Stealing is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24100-24100	Raping is a subclass of criminal action

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners