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 5094-5094 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 5096-5096
No TPTP formula. May not be expressible in strict first order. Cars.kif 5095-5095


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