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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SelfPoweredDevice
SelfPoweredDevice

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


(documentation SelfPoweredDevice EnglishLanguage "SelfPoweredDevice is the subclass of Devices whose action is powered by some kind of on-board component or power source (not the user, which would be a UserPoweredVehicle).") Mid-level-ontology.kif 2750-2753
(subclass SelfPoweredDevice Device) Mid-level-ontology.kif 2749-2749 SelfPoweredDevice est une sous-classe de appareil

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


(subclass Missile SelfPoweredDevice) Mid-level-ontology.kif 17724-17724 Missile est une sous-classe de SelfPoweredDevice
(termFormat ChineseLanguage SelfPoweredDevice "自供电设备") domainEnglishFormat.kif 52005-52005
(termFormat ChineseTraditionalLanguage SelfPoweredDevice "自供電設備") domainEnglishFormat.kif 52004-52004
(termFormat EnglishLanguage SelfPoweredDevice "self powered device") domainEnglishFormat.kif 52003-52003

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


(=>
    (instance ?DEVICE SelfPoweredDevice)
    (exists (?SOURCE)
        (and
            (instance ?SOURCE Device)
            (powerComponent ?SOURCE ?DEVICE))))
Mid-level-ontology.kif 2755-2760

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


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


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