No TPTP formula. May not be expressible in strict first order.	Merge.kif 12610-12612	If flammable is an attribute of an object, then the object is capable of doing burning as a patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1883-1888	If an agent is capable of doing child-care service as a agent, then there exists a cognitive agent such that the agent employs the cognitive agent and the cognitive agent is capable of doing child-care service as a service provider
No TPTP formula. May not be expressible in strict first order.	Dining.kif 922-928	If an object is capable of being a a case role in a kind of process during a kind of time interval, then there exists a time position such that the time position is an instance of a kind of time interval and the object is capable of doing a kind of process as a the case role holds during the time position
No TPTP formula. May not be expressible in strict first order.	Dining.kif 546-548	If a geographic area is the delivery area of an agent, then the agent is capable of doing delivery service as a agent
No TPTP formula. May not be expressible in strict first order.	Military.kif 917-919	If a kind of process is a fit for military service of a cognitive agent, then the cognitive agent is capable of doing a kind of process as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3987-3989	If an agent has the skill to do a kind of process, then the agent is capable of doing a kind of process as a agent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1820-1827	If an entity is an instance of computer and Standalone mode is an attribute of the entity holds during a time position, then the entity is capable of doing communication over wireless network as a origin doesn't hold during the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6427-6431	If AVPU alert status is an attribute of an entity holds during a time position, then communication is capable of doing the entity as a agent holds during the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 390-394	If ambulatory is an attribute of an entity holds during a time position, then the entity is capable of doing walking as a agent holds during the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 441-445	If conscious is an attribute of an entity holds during a time position, then the entity is capable of doing intentional process as a agent holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6582-6584	If an object is an instance of animal, then the object is capable of doing drooling as a experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13037-13039	If an object is an instance of agent, then the object is capable of doing social interaction as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1561-1564	If an object is an instance of agent, then there exists a kind of process such that the object is capable of doing a kind of process as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12019-12021	If an object is an instance of cognitive agent, then the object is capable of doing reasoning as a agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1013-1015	If an object is an instance of life threatening agent, then the object is capable of doing killing as a instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13483-13485	If an object is an instance of sentient agent, then the object is capable of doing perception as a experiencer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15827-15829	If an object is an instance of antenna, then the object is capable of doing radio emission as a instrument
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1264-1272	If an object is an instance of antibiotic, then there exist a symbolic string and an entity such that the object is capable of doing the class described by the symbolic string as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16980-16985	If an object is an instance of game artifact, then there exists a kind of process such that a kind of process is a subclass of game and the object is capable of doing the kind of process as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4746-4748	If an object is an instance of board or block, then the object is capable of doing constructing as a resource
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13315-13317	If an object is an instance of camera, then the object is capable of doing photographing as a instrument
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2127-2137	If an object is an instance of passenger railcar, then there exists the objectRY such that the object is capable of doing the class described by the objectRY as a instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14776-14778	If an object is an instance of cloud, then the object is capable of doing seeing as a patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17821-17823	If an object is an instance of aircraft, then the object is capable of doing air transportation as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17714-17716	If an object is an instance of spacecraft, then the object is capable of doing space transportation as a instrument
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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