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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Volt

Sigma KEE - Volt
Volt(volt)
V, electric_potential, electromotive_force, emf, evoked_potential, potential, potential_difference, potential_drop, resting_potential, volt, voltage

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2542-2544
No TPTP formula. May not be expressible in strict first order. Merge.kif 6841-6845
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6964-6964
No TPTP formula. May not be expressible in strict first order. Merge.kif 6838-6838 Volt is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6839-6839 Volt is an instance of systeme international unit

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61902-61902
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61901-61901
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61900-61900

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3155-3165
No TPTP formula. May not be expressible in strict first order. Cars.kif 3095-3109

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3095-3109
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25850-25853


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