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 2556-2556
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2558-2558 PowerSource est une sous-classe de appareil

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26388-26388 ACPowerSource est une sous-classe de PowerSource
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2568-2568 DCPowerSource est une sous-classe de PowerSource
No TPTP formula. May not be expressible in strict first order. engineering.kif 873-873 SinglePhasePowerSource est une sous-classe de PowerSource
No TPTP formula. May not be expressible in strict first order. engineering.kif 878-878 ThreePhasePowerSource est une sous-classe de PowerSource
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47062-47062
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47061-47061
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47060-47060

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26401-26401 Le nombre 1 argument de voltageMeasure est une instance de PowerSource

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25980-25993
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2559-2564

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 25952-25960


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