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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UserInterface

Sigma KEE - UserInterface
UserInterface

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 834-835
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 833-833 UserInterface est une sous-classe de Software

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 837-837 GraphicalUserInterface est une sous-classe de UserInterface
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65677-65677


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