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 ?GENERATOR is the power source for the Artifact ?THING.") Mid-level-ontology.kif 2201-2203
(domain powerComponent 1 Device) Mid-level-ontology.kif 2197-2197
(domain powerComponent 2 Artifact) Mid-level-ontology.kif 2198-2198
(instance powerComponent BinaryPredicate) Mid-level-ontology.kif 2196-2196
(subrelation powerComponent component) Mid-level-ontology.kif 2199-2199

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


(format ChineseLanguage powerComponent "%2 %n 是 %1 的 power 组件") domainEnglishFormat.kif 2019-2019
(format ChineseTraditionalLanguage powerComponent "%2 %n 是 %1 的 power 組件") domainEnglishFormat.kif 2018-2018
(format EnglishLanguage powerComponent "%2 is %n a power component of %1") domainEnglishFormat.kif 2017-2017
(termFormat ChineseLanguage powerComponent "功率元件") domainEnglishFormat.kif 47008-47008
(termFormat ChineseTraditionalLanguage powerComponent "功率元件") domainEnglishFormat.kif 47007-47007
(termFormat EnglishLanguage powerComponent "power component") domainEnglishFormat.kif 47006-47006

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


(=>
    (and
        (powerComponent ?G ?O)
        (instance ?O Device))
    (instance ?O SelfPoweredDevice))
Mid-level-ontology.kif 2205-2209

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


(=>
    (instance ?DEVICE SelfPoweredDevice)
    (exists (?SOURCE)
        (and
            (instance ?SOURCE Device)
            (powerComponent ?SOURCE ?DEVICE))))
Mid-level-ontology.kif 3218-3223
(=>
    (instance ?UV PoweredVehicle)
    (exists (?P)
        (powerComponent ?P ?UV)))
Transportation.kif 1938-1941
(=>
    (instance ?UV UnpoweredVehicle)
    (not
        (exists (?P)
            (powerComponent ?P ?UV))))
Transportation.kif 1927-1931


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 3.0 is open source software produced by Articulate Software and its partners