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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - powerComponent
powerComponent

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


(documentation powerComponent EnglishLanguage "(powerComponent ?GENERATOR ?THING) means that the Device ?THING is the power source for the Artifact ?THING.") Transportation.kif 1698-1700
(documentation powerComponent EnglishLanguage "(powerComponent ?GENERATOR ?THING) means that the CorpuscularObject ?GENERATOR is the power-producing component of the CorpuscularObject ?THING which provides the energy for its operation.") Mid-level-ontology.kif 2135-2135
(domain powerComponent 1 CorpuscularObject) Mid-level-ontology.kif 2139-2139
(domain powerComponent 1 Device) Transportation.kif 1694-1694
(domain powerComponent 2 CorpuscularObject) Mid-level-ontology.kif 2140-2140
(domainSubclass powerComponent 2 Artifact) Transportation.kif 1695-1695
(instance powerComponent AsymmetricRelation) Mid-level-ontology.kif 2137-2137
(instance powerComponent BinaryPredicate) Mid-level-ontology.kif 2136-2136
(instance powerComponent IrreflexiveRelation) Mid-level-ontology.kif 2138-2138
(subrelation powerComponent component) Mid-level-ontology.kif 2141-2141

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


(format ChineseLanguage powerComponent "%2 %n 是 %1 的 power 组件") domainEnglishFormat.kif 2015-2015
(format ChineseTraditionalLanguage powerComponent "%2 %n 是 %1 的 power 組件") domainEnglishFormat.kif 2014-2014
(format EnglishLanguage powerComponent "%2 is %n a power component of %1") domainEnglishFormat.kif 2013-2013
(termFormat ChineseLanguage powerComponent "功率元件") domainEnglishFormat.kif 46945-46945
(termFormat ChineseTraditionalLanguage powerComponent "功率元件") domainEnglishFormat.kif 46944-46944
(termFormat EnglishLanguage powerComponent "power component") domainEnglishFormat.kif 46943-46943

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


(=>
    (and
        (powerComponent ?G ?O)
        (instance ?O Device))
    (instance ?O SelfPoweredDevice))
Mid-level-ontology.kif 2149-2153
(=>
    (powerComponent ?G ?O)
    (and
        (instance ?G Device)
        (instance ?O Artifact)))
Mid-level-ontology.kif 2143-2147

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


(=>
    (instance ?DEVICE SelfPoweredDevice)
    (exists (?SOURCE)
        (and
            (instance ?SOURCE Device)
            (powerComponent ?SOURCE ?DEVICE))))
Mid-level-ontology.kif 3214-3219
(=>
    (instance ?UV PoweredVehicle)
    (exists (?P)
        (powerComponent ?P ?UV)))
Transportation.kif 1788-1791
(=>
    (instance ?UV UnpoweredVehicle)
    (not
        (exists (?P)
            (powerComponent ?P ?UV))))
Transportation.kif 1777-1781


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners