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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - voltageMeasure
voltageMeasure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26364-26365
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26368-26368 The number 1 argument of voltage measure is an instance of power source
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26369-26369 The number 2 argument of voltage measure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26363-26363 voltage measure is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4942-4942
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4941-4941
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4940-4940
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26366-26366

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26376-26384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26371-26374


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