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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Relay

 Sigma KEE - Relay
Relay
more pictures...

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 e' uma sub-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order. engineering.kif 749-749 Relay e' uma sub-classe de SwitchDevice

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


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


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