No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12859-12863	If an object is an instance of breast and the object is a part of another object, then female is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5010-5014	If an object is an instance of bubble and another object is a interior part of the object, then gas is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5016-5025	If an object is an instance of bubble and there don't exist another object and an attribute such that the attribute is an attribute of the other object and the other object is not equal to gas and the other object meets the object, then convex round shape is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16363-16373	If a process is an instance of sobering up and an agent experiences the process, then drunk is an attribute of the agent holds during the beginning of the time of existence of the process and sober is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 840-847	If a physical is an instance of booster chair and an agent is an instance of human child, then the physical has the purpose sitting is an attribute of the agent and the agent is located at the physical for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18117-18122	If an object is an instance of reproductive body and the object is a part of another object and the other object is an instance of organism, then female is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13933-13941	If a process is an instance of boiling and an object is a patient of the process, then there exists another object such that the other object is a part of the object and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4692-4696	If a self connected object is an instance of bottle and the self connected object contains an object, then liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30807-30813	If an entity is an instance of karabiner and device closed is an attribute of the entity holds during a time position, then ring torus is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30828-30835	If an entity is an instance of karabiner and device open is an attribute of the entity holds during a time position, then ring torus is not an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23768-23779	If a process is an instance of causing happiness and an entity is a patient of the process, then happiness is not an attribute of the entity holds during the beginning of the time of existence of the process and happiness is an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23789-23800	If a process is an instance of causing unhappiness and an entity is a patient of the process, then unhappiness is not an attribute of the entity holds during the beginning of the time of existence of the process and unhappiness is an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8387-8400	If an agent is an instance of cavalry unit and a time interval is an instance of battle and the agent is an agent of the time interval, then there exist another agent, an entity and another time interval such that soldier is an attribute of the other agent and the other agent is a member of the agent and the other time interval is an instance of transportation and the other agent is an agent of the other time interval and the entity is an instance of vehicle and the entity is a patient of the other time interval and the other time interval takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1741-1761	If a physical is an instance of cavitating and a self connected object is an instance of pump and device on is an attribute of the self connected object and liquid is an attribute of an object and the self connected object contains the object, then there exist the self connected objectP and an entity such that the self connected objectP is a part of the self connected object and the self connected objectP has the purpose liquid is an attribute of the entity and the entity meets the self connected objectP and there doesn't exist another entity such that liquid is an attribute of the other entity and the self connected objectP meets the other entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1886-1892	If a process is an instance of chills and an agent experiences the process, then feeling hot is an attribute of the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1141-1147	If a process is an instance of crying and an agent experiences the process, then sadness is an attribute of the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2784-2796	If an entity is an instance of COVID antibody and Covid is not an attribute of another entity and the entity is a part of the other entity holds during a time position, then the statement Covid is an attribute of the other entity has the modal force of unlikely holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12599-12610	If a process is an instance of internal change and an entity is a patient of the process, then there exists another entity such that the other entity is an attribute of the entity holds during the beginning of the time of existence of the process and the other entity is not an attribute of the entity holds during the end of the time of existence of the process or the other entity is not an attribute of the entity holds during the beginning of the time of existence of the process and the other entity is an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19379-19392	If an attribute is an instance of secondary color and the attribute is an attribute of an object, then there exist a process, another object,, , a third object,, , another attribute and a third attribute such that the object is a result of the process and the other object is a resource for the process and the third object is a resource for the process and the other attribute is an attribute of the other object and the third attribute is an attribute of the third object and the other attribute is an instance of primary color and the third attribute is an instance of primary color and the other attribute is not equal to the third attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12636-12650	If a process is an instance of coloring and an object is a patient of the process, then there exist an entity and another object such that the other object is a part of the object and the entity is an instance of color attribute and the entity is an attribute of the other object holds during the beginning of the time of existence of the process and the entity is not an attribute of the other object holds during the end of the time of existence of the process or the entity is not an attribute of the other object holds during the beginning of the time of existence of the process and the entity is an attribute of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13979-13987	If a process is an instance of condensing and an object is a patient of the process, then there exists another object such that the other object is a part of the object and gas is an attribute of the other object holds during the beginning of the time of existence of the process and liquid is an attribute of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Media.kif 1867-1871	If a process is an instance of musical conducting and an agent is an agent of the process, then musical conductor is an attribute of the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18506-18515	If a process is an instance of musical conducting and an entity is a patient of the process and another entity is an instance of musician, then the entity is an instance of musical group or the other entity is an attribute of the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 875-879	If an object is an instance of regional law and a proposition is a sub-proposition of the object, then law is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 572-577	If a process is an instance of cyclonic storm and an object is an instance of air stream and the process is located at the object, then cylinder is an attribute of the object
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