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 ?GENERATOR is the power source for the Artifact ?THING.") Mid-level-ontology.kif 1731-1733
(domain powerComponent 1 Device) Mid-level-ontology.kif 1727-1727 Il numero 1 argomenti di powerComponent è un istanza di Dispositivo
(domain powerComponent 2 Artifact) Mid-level-ontology.kif 1728-1728 Il numero 2 argomenti di powerComponent è un istanza di Manufatto
(instance powerComponent BinaryPredicate) Mid-level-ontology.kif 1726-1726 powerComponent è un' istanza di PredicatoBinario
(subrelation powerComponent component) Mid-level-ontology.kif 1729-1729 powerComponent è una sottorelazione di component

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 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 1735-1739

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


(=>
    (instance ?DEVICE SelfPoweredDevice)
    (exists (?SOURCE)
        (and
            (instance ?SOURCE Device)
            (powerComponent ?SOURCE ?DEVICE))))		 Mid-level-ontology.kif 2748-2753
(=>
    (instance ?UV PoweredVehicle)
    (exists (?P)
        (powerComponent ?P ?UV)))		 Transportation.kif 1798-1801
(=>
    (instance ?UV UnpoweredVehicle)
    (not
        (exists (?P)
            (powerComponent ?P ?UV))))		 Transportation.kif 1787-1791


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