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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Electrical
Electrical(electrical)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 256-256
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5981-5981
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6454-6454
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6455-6455
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6459-6459
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6460-6460
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6456-6456
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6457-6457
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6461-6461
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6458-6458
No TPTP formula. May not be expressible in strict first order. engineering.kif 258-258 Electrical is an instance of physical domain
No TPTP formula. May not be expressible in strict first order. engineering.kif 257-257

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21450-21450
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21449-21449
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21448-21448

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 284-284 Voltage and current form physical domain electrical


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