No TPTP formula. May not be expressible in strict first order.	Medicine.kif 940-949	If a process is an instance of anesthetizing and an entity is a patient of the process, then unconscious is an attribute of the entity or pain is not 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.	Medicine.kif 2764-2778	If an object is an instance of antigen COVID test and the object is an instrument for a process and the process is an instance of measuring and another object is a patient of the process and a third object is an instance of COVID antibody and the third object is a part of the other object, then the statement the other object knows there exists the third object such that the third object is an instance of COVID antibody and the third object is a part of the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1035-1048	If a process is an instance of appointing and an entity is a patient of the process, then there exist another entity and a third entity such that the entity doesn't hold the position of the other entity in the third entity holds during the beginning of the time of existence of the process and the entity holds the position of the other entity in the third entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12520-12534	If a process is an instance of attaching and an entity is a patient of the process and another entity is a patient of the process and the entity is not connected to the other entity holds during the beginning of the time of existence of the process and the entity is connected to the other entity holds during the end of the time of existence of the process, then the process attaches the entity to another object and the process attaches the other entity to another object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21682-21688	If an agent is an instance of fungivore and the agent is an agent of a process and the process is an instance of eating and an entity is a patient of the process, then the entity is an instance of fungus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21653-21659	If an agent is an instance of herbivore and the agent is an agent of a process and the process is an instance of eating and an entity is a patient of the process, then the entity is an instance of plant
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1000-1011	If a process is an instance of local anesthetizing and the process is located at an object and the object is an instance of body part and the object is a part of another object and the other object is a patient of the process, then pain in the the object is not an attribute of the other object holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21667-21676	If an agent is an instance of omnivore and the agent is an agent of a process and the process is an instance of eating and an entity is a patient of the process, then the entity is an instance of plant or the entity is an instance of animal or the entity is an instance of fungus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 975-984	If a process is an instance of sedating and an entity is a patient of the process, then conscious is an attribute of the entity and anxiety is not 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.	UXExperimentalTerms.kif 3759-3784	If an accessing web page is an instance of accessing web page and an entity is an instance of web page and a process is an instance of data transfer and an object is an instance of server and another process is an instance of requesting and an agent is an instance of web browser and a time interval is an instance of time interval and the entity is a patient of the accessing web page and the agent is an agent of the other process and the other process ends up at the object and the entity is a patient of the other process and the process originates at the object and the process ends up at the agent and the entity is a patient of the process and the process is a subprocess of the accessing web page and the other process is a subprocess of the accessing web page and the end of the time of existence of the other process is equal to the beginning of the time interval and the end of the time of existence of the process is equal to the end of the time interval, then the time to access in the accessing web page is equal to the time interval
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4477-4486	If a process is an instance of activating a deactivated account and an entity is an instance of user account and the entity is a patient of the process, then account deactivated is an attribute of the entity holds during immediately before the time of existence of the process and account active is an attribute of the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2268-2277	If a time interval is an instance of activating UI element and an entity is a patient of the time interval and the entity is an instance of GUI element, then the entity has state GUE active state holds during the end of the time interval and not the entity has state GUE active state holds during the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1322-1327	If a process is an instance of alt key hold down and an entity is a patient of the process and the entity is an instance of computer keyboard key, then the entity is an instance of alt key
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2332-2343	If a time interval is an instance of bringing GE to front and an entity is a patient of the time interval and the entity is an instance of interface window and the entity has state an attribute holds during the beginning of the time interval and the attribute is the opposite of GUE uncovered state, then not the entity has state the attribute holds during the end of the time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2347-2354	If a time interval is an instance of bringing GE to front and an entity is a patient of the time interval and the entity is an instance of interface window, then the entity has state GUE uncovered state holds during the end of the time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1377-1382	If a process is an instance of character key press and an entity is a patient of the process and the entity is an instance of computer keyboard key, then the entity is an instance of character key
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1299-1304	If a process is an instance of control key hold down and an entity is a patient of the process and the entity is an instance of computer keyboard key, then the entity is an instance of control key
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2761-2772	If a process is an instance of downloading non audio video image user file and an entity is a patient of the process and the entity is an instance of computer file, then the entity is not an instance of image file and the entity is not an instance of audio file and the entity is not an instance of multimedia file
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1753-1758	If a process is an instance of dragging with cursor and an entity is a patient of the process and the entity is an instance of cursor, then the entity is an instance of mouse cursor
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1421-1426	If a process is an instance of enter key press and an entity is a patient of the process and the entity is an instance of computer keyboard key, then the entity is an instance of enter key
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1346-1351	If a process is an instance of function key hold down and an entity is a patient of the process and the entity is an instance of computer keyboard key, then the entity is an instance of function key
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1587-1592	If a process is an instance of screen touch action and an entity is a patient of the process and the entity is an instance of touch sensitive computer input device, then the entity is an instance of computer touchscreen
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1278-1283	If a process is an instance of shift key hold down and an entity is a patient of the process and the entity is an instance of computer keyboard key, then the entity is an instance of shift key
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1402-1407	If a process is an instance of special character press and an entity is a patient of the process and the entity is an instance of computer keyboard key, then the entity is an instance of special computer keyboard key
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12394-12403	If a process is an instance of surgery and an entity is a patient of the process, then there exists another process such that the other process is an instance of cutting and the entity is an instance of animal and the entity is a patient of the other process and the other process is a subprocess of the process
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