Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 878-878 GUIActiveAreaGUIElementsubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 882-882 ComputerTouchscreenKeypadGUIActiveAreasubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 883-883 ComputerTouchscreenKeyboardGUIActiveAreasubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 886-886 GraphicalComputerMenuGUIActiveAreasubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 928-928 GUIButtonGUIActiveAreasubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 946-946 ScrollBarGUIActiveAreasubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 971-971 ScrollBarBarGUIActiveAreasubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1024-1024 GUISliderGUIActiveAreasubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1036-1036 GUISliderIndicatorGUIActiveAreasubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1096-1096 HoverBoxActiveAreaGUIActiveAreasubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1107-1107 TextInputBoxGUIActiveAreasubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1116-1116 GUICheckBoxGUIActiveAreasubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1128-1128 ComputerMenuItemGUIActiveAreasubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1144-1144 GraphicalMenuItemGUIActiveAreasubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1161-1161 GUI_LinkGUIActiveAreasubclass


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