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

Formal Language: 



KB Term:  Term intersection
English Word: 

  voltageMeasure

 Sigma KEE - voltageMeasure
voltageMeasure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26397-26398
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26401-26401 O argumento numero 1 de voltageMeasure e' uma instancia de PowerSource
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26402-26402 O argumento numero 2 de voltageMeasure e' uma instancia de Quantidade Fisica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26396-26396 voltageMeasure e' uma instancia de Predicado Binario

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 26399-26399

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


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 26404-26407


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