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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Electricity
Electricity

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2550-2554
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4673-4673
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2549-2549 Electricity e' uma sub-classe de Substancia

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5725-5725 industryProductType ElectricalPowerGeneration and Electricity
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21582-21582
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21581-21581
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21580-21580

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 3878-3888
No TPTP formula. May not be expressible in strict first order. Cars.kif 3890-3906
No TPTP formula. May not be expressible in strict first order. Cars.kif 3140-3150

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2539-2547
No TPTP formula. May not be expressible in strict first order. naics.kif 5126-5150
No TPTP formula. May not be expressible in strict first order. naics.kif 5421-5443
No TPTP formula. May not be expressible in strict first order. Cars.kif 2373-2378
No TPTP formula. May not be expressible in strict first order. Cars.kif 1194-1202
No TPTP formula. May not be expressible in strict first order. Cars.kif 3128-3138
No TPTP formula. May not be expressible in strict first order. Cars.kif 424-432
No TPTP formula. May not be expressible in strict first order. engineering.kif 882-901
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26409-26417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31286-31295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31328-31337


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