No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7350-7364	If an object is an instance of auditorium seat and the object is a part of another object and a third object is a part of the other object and the other object is an instance of auditorium and the third object is an instance of performance stage and a fourth object is located at the object and the fourth object is an instance of human and a kind of process is a subclass of seeing and for all another process if the other process is an instance of a kind of process, then the third object is a patient of the other process , then the fourth object is capable of doing the kind of process as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13496-13506	If a process is an instance of impairment in another kind of process and an object is an instrument for the process, then there exists the object2 such that the object2 is not equal to the object and the object2 is capable of doing another kind of process as a instrument and the object is not capable of doing the other kind of process as a instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13516-13526	If a process is an instance of impairment in a kind of perception and an agent experiences the process, then there exists the agent2 such that the agent2 is not equal to the agent and the agent2 is capable of doing a kind of perception as a experiencer and the agent is not capable of doing the kind of perception as a experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13536-13541	If a process is an instance of impairment in a kind of perception and an agent experiences the process, then the agent is not capable of doing a kind of perception as a experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13632-13646	If a process is an instance of radiating sound and an agent is an agent of the process and audible is an attribute of the process, then there exist an object and a symbolic string such that the object is an instance of human and 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 29390-29396	If an object is an instance of vehicle door and device normal is an attribute of the object, then the object is capable of doing opening as a patient and the object is capable of doing closing as a patient
No TPTP formula. May not be expressible in strict first order.	WMD.kif 51-55	If an object is an instance of biochemical weapon and an agent possesses the object, then the agent is capable of doing biochemical attack as a agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 244-253	If an object is an instance of content bearing object and braille is an attribute of the object, then there exists another object such that the other object is an instance of human and blind is an attribute of the other object and the other object is capable of doing interpreting as a agent and the object is capable of doing interpreting as a patient
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle and the vehicle is maximum payload height width another real number another unit of measure(s) for a third real number a third unit of measure(s) and a self connected object is an instance of self connected object and a fourth real number the fourth real numberU(s) is a weight of the self connected object and the width of the self connected object is a fifth real number the fifth real numberU(s) and the height of the self connected object is a sixth real number the sixth real numberU(s) and the fourth real numberU is equal to the unit of measure and the fifth real numberU is equal to the third unit of measure and the sixth real numberU is equal to the other unit of measure and the fourth real number is less than or equal to the real number and the fifth real number is less than or equal to the third real number and the sixth real number is less than or equal to the other real number, then the vehicle is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2653-2658	If a real number meter(s) is a navigable for draft of a water area and another real number meter(s) is a laden draft of a water vehicle and the real number is greater than the other real number, then the water area is capable of doing the trip of the water vehicle as a path
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2660-2665	If a real number meter(s) is a navigable for draft of a water area and another real number meter(s) is a laden draft of a water vehicle and the real number is less than or equal to the other real number, then the water area is not capable of doing the trip of the water vehicle as a path
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2637-2643	If a real number long ton(s) is a navigable for shipping tonnage of a water area and a water vehicle is an instance of water vehicle and another real number long ton(s) is a vessel displacement of the water vehicle and the other real number is less than or equal to the real number, then the water area is capable of doing the trip of the water vehicle as a path
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 98-107	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process, then the agent is capable of doing the other kind of process as a agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 88-93	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of process, then the agent is capable of doing the kind of entity as a agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	If a collection and another collection are orthogonal tests and an object is an instance of human and a physical is an instance of a kind of process and a kind of process is a subclass of experimenting and the physical is a member of the collection and the object is capable of doing the kind of process as a experimental subject, then there exist another physical and another kind of process such that the other physical is an instance of another kind of process and the other physical is a member of the other collection and the other kind of process is a subclass of experimenting and the object is capable of doing the other kind of process as a experimental subject
No TPTP formula. May not be expressible in strict first order.	Government.kif 1267-1273	If exclusive male suffrage is a sub-proposition of the regional law of a geopolitical area and female is an attribute of an object and the object is a member of the resident of the geopolitical area and an election is an instance of election, then the object is not capable of doing the voting of the election as a agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1120-1130	If universal suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and a real number year duration(s) is a suffrage age minimum of the nation and the age of the human is another real number year duration(s) and the other real number is greater than or equal to the real number and an election is an instance of the election of the nation, then the human is capable of doing the voting of the election as a agent
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 35-43	If a military vehicle can carry a positive integer weapons of type a kind of weapon. and an object is an instance of a kind of weapon and the object is capable of doing a kind of process as a a case role and a kind of process is a subclass of shooting or the kind of process is a subclass of damaging, then the military vehicle is capable of doing the kind of process as a the case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19781-19784	If deaf is an attribute of an object, then the object is not capable of doing hearing as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19773-19775	If blind is an attribute of an object, then the object is not capable of doing seeing as a agent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1831-1833	If fertile terrain is an attribute of an object, then the object is capable of doing agriculture as a event located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21035-21042	If medical doctor is an attribute of an object, then there exist a kind of process and another kind of process such that a kind of process is a subclass of diagnostic process and another kind of process is a subclass of therapeutic process and the object is capable of doing the kind of process as a agent and the object is capable of doing the other kind of process as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13965-13967	If liquid is an attribute of an object, then the object is capable of doing boiling as a patient
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	If open layout is an attribute of an object, then the object is an instance of room and there exist another object, a third object and a fourth object such that the other object is an instance of region and the third object is an instance of region and the other object is located at the object and the third object is located at the object and the other object is not equal to the third object and the other object is adjacent to the third object and there exist a formula and another formula such that the formula is an instance of process and the other formula is an instance of process and the other object has the purpose the formula and the third object has the purpose the other formula and if the fourth object is an instance of agent and the fourth object is located at the third object, then the fourth object is capable of doing seeing as a agent and the other object is capable of doing seeing as a patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21105-21107	If accountant is an attribute of an object, then the object is capable of doing calculating as a agent
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