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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 1710-1712
(domain powerComponent 1 Device) Mid-level-ontology.kif 1706-1706 Le nombre 1 argument de powerComponent est une instance de appareil
(domain powerComponent 2 Artifact) Mid-level-ontology.kif 1707-1707 Le nombre 2 argument de powerComponent est une instance de artefact
(instance powerComponent BinaryPredicate) Mid-level-ontology.kif 1705-1705 powerComponent est une instance de pr�dicat binaire
(subrelation powerComponent component) Mid-level-ontology.kif 1708-1708 powerComponent est une sous-relation de 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 47027-47027
(termFormat ChineseTraditionalLanguage powerComponent "功率元件") domainEnglishFormat.kif 47026-47026
(termFormat EnglishLanguage powerComponent "power component") domainEnglishFormat.kif 47025-47025


        (powerComponent ?G ?O)
        (instance ?O Device))
    (instance ?O SelfPoweredDevice))
Mid-level-ontology.kif 1714-1718


    (instance ?DEVICE SelfPoweredDevice)
    (exists (?SOURCE)
            (instance ?SOURCE Device)
            (powerComponent ?SOURCE ?DEVICE))))
Mid-level-ontology.kif 2727-2732
    (instance ?UV PoweredVehicle)
    (exists (?P)
        (powerComponent ?P ?UV)))
Transportation.kif 1798-1801
    (instance ?UV UnpoweredVehicle)
        (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