No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4423-4432	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 2283-2292	If a process is an instance of ActivatingUIElement and an entity is a patient of the process and the entity is an instance of GUIElement, then the entity has state GUE_ActiveState holds during the end of a time interval and not the entity has state GUE_ActiveState holds during the start of the time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1349-1354	If a process is an instance of AltKeyHoldDown and an entity is a patient of the process and the entity is an instance of ComputerKeyboardKey, then the entity is an instance of AltKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2347-2358	If a time interval is an instance of BringingGEToFront and an entity is a patient of the time interval and the entity is an instance of InterfaceWindow and the entity has state an attribute holds during the beginning of the time interval and the attribute is the opposite of GUE_UncoveredState, 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 2362-2369	If a time interval is an instance of BringingGEToFront and an entity is a patient of the time interval and the entity is an instance of InterfaceWindow, then the entity has state GUE_UncoveredState holds during the end of the time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1404-1409	If a process is an instance of CharacterKeyPress and an entity is a patient of the process and the entity is an instance of ComputerKeyboardKey, then the entity is an instance of CharacterKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1326-1331	If a process is an instance of ControlKeyHoldDown and an entity is a patient of the process and the entity is an instance of ComputerKeyboardKey, then the entity is an instance of ControlKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2772-2783	If a process is an instance of DownloadingNonAudioVideoImageUserFile 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 AudioFile and the entity is not an instance of MultimediaFile
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1768-1773	If a process is an instance of DraggingWithCursor and an entity is a patient of the process and the entity is an instance of Cursor, then the entity is an instance of MouseCursor
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1448-1453	If a process is an instance of EnterKeyPress and an entity is a patient of the process and the entity is an instance of ComputerKeyboardKey, then the entity is an instance of EnterKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1373-1378	If a process is an instance of FunctionKeyHoldDown and an entity is a patient of the process and the entity is an instance of ComputerKeyboardKey, then the entity is an instance of FunctionKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1616-1621	If a process is an instance of ScreenTouchAction and an entity is a patient of the process and the entity is an instance of TouchSensitiveComputerInputDevice, then the entity is an instance of ComputerTouchscreen
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1305-1310	If a process is an instance of ShiftKeyHoldDown and an entity is a patient of the process and the entity is an instance of ComputerKeyboardKey, then the entity is an instance of ShiftKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1429-1434	If a process is an instance of SpecialCharacterPress and an entity is a patient of the process and the entity is an instance of ComputerKeyboardKey, then the entity is an instance of SpecialComputerKeyboardKey
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11427-11436	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
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1660-1665	If a process is an instance of UserDirectAction and an entity is a patient of the process and the entity is an instance of Joystick, then the process is an instance of JoystickMotion
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1641-1646	If a process is an instance of UserDirectAction and an entity is a patient of the process and the entity is an instance of ComputerTouchpad, then the process is an instance of TouchPadAction
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1623-1628	If a process is an instance of UserDirectAction and an entity is a patient of the process and the entity is an instance of ComputerTouchscreen, then the process is an instance of ScreenTouchAction
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1572-1577	If a process is an instance of UserDirectAction and an entity is a patient of the process and the entity is an instance of TouchSensitiveComputerInputDevice, then the process is an instance of TouchSurfaceAction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11764-11777	If a process is an instance of shape change and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of shape attribute and 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 11724-11737	If a process is an instance of surface change and an object is a patient of the process, then there exist another object and an entity such that the other object is a superficial part of the object 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.	MilitaryProcesses.kif 753-763	If a process is an instance of air photographic reconnaissance and an agent is an agent of the process and an entity is a patient of the process, then there exists another process such that the other process is an instance of photographing and the other process is a subprocess of the process and the agent is an agent of the other process and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 89-103	If a process is an instance of armed reconnaissance and a cognitive agent is an agent of the process and an entity is a patient of the process and the cognitive agent and the entity are enemies of each other holds during the time of existence of the process, then the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of attack and the cognitive agent is an agent of the other entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9484-9494	If an object is an instance of artery and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood, then there exists another object such that the other object is an instance of heart and the process originates at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9517-9527	If an object is an instance of pulmonary artery and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood, then there exists another entity such that the other entity is an instance of lung and the process ends up at the other entity
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