Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Typing
Typing

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1692-1692 不相交的 Typing and AudioInput
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1694-1694 不相交的 Typing and JoystickMotion
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1693-1693 不相交的 Typing and TouchSurfaceAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1689-1690
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1688-1688 子類 Typing and KeyboardAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1872-1872 Typing isgnifies InputCharacterString

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1691-1691 不相交的 ScrollWheelRotating and Typing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65633-65633

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1696-1701


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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