TreeView Knowledge Base Browser - voltageRatingPrimary

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

voltageRatingPrimary

Sigma KEE - voltageRatingPrimary

voltageRatingPrimary

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31243-31246
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31241-31241	Le nombre 1 argument de voltageRatingPrimary est une instance de ElectricalTransformer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31242-31242	Le nombre 2 argument de voltageRatingPrimary est une instance de function de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31240-31240	voltageRatingPrimary est une instance de pr�dicat binaire

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 31250-31259

voltageRatingPrimary ElectricalTransformer and function de quantit�
objet transf�re, objet and objet objet est une partie de ElectricalTransformer transf�re est une instance de ElectricTransmission transf�re aboutit � objet objectTransferred transf�re and objet objet est une instance de Electricity la mesure de objet est function de quantit�

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31226-31231	memberMeasure ensemble, MeasurementAttribute and function de quantit� ensemble est une instance de ensemble ElectricalTransformer est un ensemble voltageRatingPrimary ElectricalTransformer and function de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31233-31238	memberMeasure classe, VoltageRatingPrimary and function de quantit� classe est une instance de classe ElectricalTransformer est une instance de classe voltageRatingPrimary ElectricalTransformer and function de quantit�

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