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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Typing

 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 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1694-1694 Typing 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1693-1693 Typing 和 % 2 是 disjoint
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 是 KeyboardAction 的 subclass
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 和 % 2 是 disjoint
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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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