Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricalTransformer

Sigma KEE - ElectricalTransformer
ElectricalTransformer(transformer)
Tesla_coil, induction_coil, step-up_transformer, transformer, voltage_regulator

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 3081-3084
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8764-8764
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9764-9764
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9766-9766
No TPTP formula. May not be expressible in strict first order. Cars.kif 3079-3079 Transformer is a subclass of transformer

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 3135-3135 Ignition coil is a subclass of transformer
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58826-58826
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58825-58825
No TPTP formula. May not be expressible in strict first order. Cars.kif 3080-3080
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58824-58824

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31337-31337 The number 1 argument of transformer capacity is an instance of transformer
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 31288-31288 The number 1 argument of seconary voltage rating is an instance of transformer

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3095-3109
No TPTP formula. May not be expressible in strict first order. Cars.kif 3086-3093


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