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 26352-26353
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26356-26356 voltageMeasure 的 1 数量 是 能量源instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26357-26357 voltageMeasure 的 2 数量 是 物理量instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26351-26351 voltageMeasure二元谓语instance

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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26364-26372
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26359-26362


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