TreeView Knowledge Base Browser - voltageMeasure

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 25843-25844
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25847-25847	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 25848-25848	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 25842-25842	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 4951-4951
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4950-4950
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4949-4949
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25845-25845

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25855-25863	If the voltage of a power source is a physical quantity, then there exist a physical and a process such that the physical is an instance of electricity and the process is an instance of process and the power source is an instrument for the process and the physical is a result of the process and the measure of the physical is the physical quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25850-25853	If the voltage of a power source is a physical quantity, then there exists a real number such that the physical quantity is equal to the real number volt(s)

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