Relay - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Relay

Relay(relay)

more pictures...

electrical_relay, relay

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 745-745
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7718-7718
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7726-7726
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7719-7719
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7720-7720
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7721-7721
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6816-6816
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7723-7723
No TPTP formula. May not be expressible in strict first order.	engineering.kif 747-747
No TPTP formula. May not be expressible in strict first order.	engineering.kif 746-746
No TPTP formula. May not be expressible in strict first order.	engineering.kif 748-748	Relay is a subclass of electrical component
No TPTP formula. May not be expressible in strict first order.	engineering.kif 749-749	Relay is a subclass of switch device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49352-49352
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49351-49351
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49350-49350

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