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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SelfPoweredDevice

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 2705-2708
(subclass SelfPoweredDevice Device) Mid-level-ontology.kif 2704-2704

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


(subclass Missile SelfPoweredDevice) Mid-level-ontology.kif 17116-17116
(termFormat ChineseLanguage SelfPoweredDevice "自供电设备") domainEnglishFormat.kif 51988-51988
(termFormat ChineseTraditionalLanguage SelfPoweredDevice "自供電設備") domainEnglishFormat.kif 51987-51987
(termFormat EnglishLanguage SelfPoweredDevice "self powered device") domainEnglishFormat.kif 51986-51986

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


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

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


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


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