TreeView Knowledge Base Browser - voltageRatingSecondary

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

voltageRatingSecondary

Sigma KEE - voltageRatingSecondary

voltageRatingSecondary

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31290-31292
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31288-31288	Le nombre 1 argument de voltageRatingSecondary est une instance de ElectricalTransformer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31289-31289	Le nombre 2 argument de voltageRatingSecondary est une instance de function de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31287-31287	voltageRatingSecondary 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 31293-31293
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31294-31294

antecedent

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

Mid-level-ontology.kif 31296-31305

voltageRatingSecondary ElectricalTransformer and function de quantit�
objet transf�re and objet objet est une partie de ElectricalTransformer transf�re est une instance de ElectricTransmission transf�re a pour origine 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 31273-31278	memberMeasure ensemble, MeasurementAttribute and function de quantit� ensemble est une instance de ensemble ElectricalTransformer est un ensemble voltageRatingSecondary ElectricalTransformer and function de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31280-31285	memberMeasure classe, VoltageRatingSecondary and function de quantit� classe est une instance de classe ElectricalTransformer est une instance de classe voltageRatingSecondary 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