No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2746-2754	If an object is an instance of cable and another object is not an instance of cable and the other object is a part of the object, then the other object is an instance of 公 or the other object is an instance of female
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.	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.	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.	ComputerInput.kif 2597-2607	If a time interval is an instance of covering GUI element and an entity_TOP is an agent of the time interval and the entity_BOTTOM is a patient of the time interval and the entity_TOP is an instance of GUI element and the entity_BOTTOM is an instance of GUI element, then the entity_BOTTOM is covered by the entity_TOP or the entity_BOTTOM is partially covered by the entity_TOP holds during the end of the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17171-17191	If a process is an instance of decelerating and an agent is an agent of the process, then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the real number is greater than the other real number or the third real number is greater than the fourth real number
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2663-2669	If a process is an instance of demonstration and an agent is an agent of the process, then the agent is an instance of human or the agent is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 450-463	If a process is an instance of dodging and an agent is an agent of the process and the processT is equal to the time of existence of the process, then the process has the purpose there doesn't exist an entity such that the processT meets the time of existence of the entity or the time of existence of the entity overlaps the processT and the entity is an instance of impacting and the agent is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 498-506	If a time position is an instance of Easter sunday and the time position is a part of another time position and the other time position is an instance of month, then the other time position is an instance of March or the other time position is an instance of April or the other time position is an instance of May
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3517-3529	If a process is an instance of epidemic and an agent is an involved in event of the process, then an attribute is an instance of disease or syndrome and the attribute is an attribute of the agent or there exists another process such that the other process is an instance of pathologic process and the agent experiences the other process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1738-1751	If a process is an instance of experiencing heat in cheeks or chest and an agent experiences the process, then there exist another process and an object such that the other process is an instance of perception and the other process is a subprocess of the process and the agent is an agent of the other process and the object is a patient of the other process and the object is an instance of torso or the object is an instance of face and the object is a part of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18921-18927	If an attribute is an instance of entertainment profession and the attribute is an attribute of a human, then the occupation of performance is an occupation of the human or the occupation of content development is an occupation of the human
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2609-2623	If a process is an instance of evacuating and an organization is an agent of the process and an agent experiences the process, then there exist another process and the other processA such that the other process is an instance of classifying and the other process is a subprocess of the process and the agent experiences the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	If a process is an instance of evacuating and an organization is an agent of the process and the process originates at an object, then there exist another process and the other processA such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process originates at the object and the other processA experiences the other process or the other processA is an agent of the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	If a process is an instance of evacuating and an agent experiences the process and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of therapeutic process and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process and the agent experiences the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2573-2587	If a process is an instance of evacuating and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of maintaining and the other process is located at the object and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2554-2569	If a process is an instance of evacuating and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of transportation and the other process ends up at the object and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process or the other processA is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3923-3934	If an experimenting is an instance of experimenting and a human is an instance of human and the human is a subject in the experimenting, then there exists a process such that the process is an instance of process and the human experiences the process and the control in experiment the experimenting is the process or the process is a process in the experimenting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12950-12957	If a process is an instance of expressing approval and a cognitive agent is an agent of the process and a formula is a patient of the process, then the cognitive agent wants the formula or the cognitive agent desires the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12963-12970	If a process is an instance of expressing disapproval and a cognitive agent is an agent of the process and a formula is a patient of the process, then the cognitive agent dislikes the formula or the formula is a disapproves of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1960-1975	If a process is an instance of foreign internal defense and an agent is an agent of the process and another agent experiences the process, then the process has the purpose there exist an entity and another entity such that the other entity is an instance of learning and the entity experiences the other entity and the agent is an agent of the other entity and the other agent is a military of area of the entity or the entity is an instance of military force and the entity is located at the other agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2647-2654	If a formula is an instance of formula and another formula is an instance of formula, then the formula increases likelihood of the other formula or the formula decreases likelihood of the other formula or probability of the formula and the other formula is independent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5630-5650	If a graph is an instance of graph and a graph node is an instance of graph node and another graph node is an instance of graph node and the graph node is a part of the graph and the other graph node is a part of the graph and the graph node is not equal to the other graph node, then there exist a graph arc and a graph path such that the graph arc links the graph node and the other graph node or the graph path is a subgraph of the graph and the graph path is an instance of graph path and the beginning of the graph path is equal to the graph node and the end of the graph path is equal to the other graph node or the beginning of the graph path is equal to the other graph node and the end of the graph path is equal to the graph node
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1935-1948	If a GUI element is an instance of GUI element and another GUI element is an instance of GUI element and the GUI element is not an instance of interface window and the other GUI element is not an instance of interface window and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen and the GUI element has state GUE active state and the other GUI element has state GUE active state, then the GUI element is a proper part of the other GUI element or the other GUI element is a proper part of the GUI element or the GUI element is equal to the other GUI element
No TPTP formula. May not be expressible in strict first order.	Media.kif 587-597	If a time interval is an instance of hanukkah and a time point is equal to the beginning of the time interval, then there exists a time position such that the time point is a part of the time position and the time position is an instance of month and the time position is an instance of November or the time position is an instance of December
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