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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricalTransformer

Sigma KEE - ElectricalTransformer
ElectricalTransformer(变压器)

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 变压器变压器subclass

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3135-3135 IgnitionCoil变压器subclass
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 transformerCapacity 的 1 数量 是 变压器instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31245-31245 voltageRatingPrimary 的 1 数量 是 变压器instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31288-31288 voltageRatingSecondary 的 1 数量 是 变压器instance

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