LED - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - LED

LED

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	LED e' uma sub-classe de Diode
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5102-5102	LED e' uma sub-classe de LightBulb

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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