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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerDisplay

Sigma KEE - ComputerDisplay
ComputerDisplay(computer display)

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 146-146 Computer display is disjoint from printer
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 140-145
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 138-138 Computer display is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 139-139 Computer display is a subclass of data display device

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 156-156 Computer screen is a subclass of computer display
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64677-64677

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 150-150 The number 2 argument of displayed upon is an instance of computer display

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3229-3243


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