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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LED

 Sigma KEE - LED
LED(LE d)
LED, light-emitting_diode

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1055-1056
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6584-6584
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4766-4766
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6585-6585
No TPTP formula. May not be expressible in strict first order. engineering.kif 1058-1058
No TPTP formula. May not be expressible in strict first order. engineering.kif 1059-1059
No TPTP formula. May not be expressible in strict first order. engineering.kif 1057-1057 LE d is a subclass of diode
No TPTP formula. May not be expressible in strict first order. Cars.kif 5102-5102 LE d is a subclass of light bulb

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33749-33749
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33748-33748
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33747-33747
No TPTP formula. May not be expressible in strict first order. Cars.kif 5104-5104
No TPTP formula. May not be expressible in strict first order. Cars.kif 5103-5103


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