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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PowerSource

Sigma KEE - PowerSource
PowerSource(能量源)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2563-2563
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2565-2565 能量源设备subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26355-26355 ACPowerSource能量源subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2575-2575 直流电源能量源subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 873-873 单相电源能量源subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 878-878 三相电源能量源subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47060-47060
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47059-47059
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47058-47058

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26368-26368 voltageMeasure 的 1 数量 是 能量源instance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25947-25960
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2566-2571

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 882-901
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25919-25927


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