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 30787-30789
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30785-30785 The number 1 argument of seconary voltage rating is an instance of transformer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30786-30786 The number 2 argument of seconary voltage rating is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30784-30784 seconary 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 30790-30790
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30791-30791

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


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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30770-30775
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30777-30782


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