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

Formal Language: 



KB Term:  Term intersection
English Word: 

  powerComponent

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 1713-1715
(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 1682-1683
(domain powerComponent 1 CorpuscularObject) Mid-level-ontology.kif 1687-1687
(domain powerComponent 1 Device) Transportation.kif 1709-1709
(domain powerComponent 2 CorpuscularObject) Mid-level-ontology.kif 1688-1688
(domainSubclass powerComponent 2 Artifact) Transportation.kif 1710-1710
(instance powerComponent AsymmetricRelation) Mid-level-ontology.kif 1685-1685
(instance powerComponent BinaryPredicate) Mid-level-ontology.kif 1684-1684
(instance powerComponent IrreflexiveRelation) Mid-level-ontology.kif 1686-1686
(subrelation powerComponent component) Mid-level-ontology.kif 1689-1689

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 46989-46989
(termFormat ChineseTraditionalLanguage powerComponent "功率元件") domainEnglishFormat.kif 46988-46988
(termFormat EnglishLanguage powerComponent "power component") domainEnglishFormat.kif 46987-46987

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


(=>
    (and
        (powerComponent ?G ?O)
        (instance ?O Device))
    (instance ?O SelfPoweredDevice))
Mid-level-ontology.kif 1697-1701
(=>
    (powerComponent ?G ?O)
    (and
        (instance ?G Device)
        (instance ?O Artifact)))
Mid-level-ontology.kif 1691-1695

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


(=>
    (instance ?DEVICE SelfPoweredDevice)
    (exists (?SOURCE)
        (and
            (instance ?SOURCE Device)
            (powerComponent ?SOURCE ?DEVICE))))
Mid-level-ontology.kif 2710-2715
(=>
    (instance ?UV PoweredVehicle)
    (exists (?P)
        (powerComponent ?P ?UV)))
Transportation.kif 1806-1809
(=>
    (instance ?UV UnpoweredVehicle)
    (not
        (exists (?P)
            (powerComponent ?P ?UV))))
Transportation.kif 1795-1799


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