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 8765-8765
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9772-9772
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9774-9774
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 58793-58793
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58792-58792
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 58791-58791

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30834-30834 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 30742-30742 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 30785-30785 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