voltageRatingPrimary - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - voltageRatingPrimary

voltageRatingPrimary

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31247-31250
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31245-31245	The number 1 argument of primary voltage rating is an instance of transformer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31246-31246	The number 2 argument of primary voltage rating is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31244-31244	primary voltage rating is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31251-31251
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31252-31252

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 31254-31263

If the FunctionQuantity of a transformer is a function quantity,
then there exist an object, a transfer,, , the object and another object such that the object is a part of the transformer and the transfer is an instance of electric transmission and the transfer ends up at the object and the object transferred in the transfer is the other object and the other object is an instance of electricity and the measure of the other object is the function quantity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31230-31235	If members of a set have the measure a function quantity in terms of a measurement attribute and the set is an instance of set and a transformer is an element of the set, then the FunctionQuantity of the transformer is the function quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31237-31242	If members of a class have the measure a function quantity in terms of Primary Voltage Rating and the class is an instance of class and a transformer is an instance of the class, then the FunctionQuantity of the transformer is the function quantity

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