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 ?THING is the power source for the Artifact ?THING.") Transportation.kif 1683-1685
(documentation powerComponent EnglishLanguage "(powerComponent ?GENERATOR ?THING) means that the CorpuscularObject ?GENERATOR is the power-producing component of the CorpuscularObject ?THING which provides the energy for its operation.") Mid-level-ontology.kif 2140-2140
(domain powerComponent 1 CorpuscularObject) Mid-level-ontology.kif 2144-2144 The number 1 argument of power component is an instance of corpuscular object
(domain powerComponent 1 Device) Transportation.kif 1679-1679 The number 1 argument of power component is an instance of device
(domain powerComponent 2 CorpuscularObject) Mid-level-ontology.kif 2145-2145 The number 2 argument of power component is an instance of corpuscular object
(domainSubclass powerComponent 2 Artifact) Transportation.kif 1680-1680 The number 2 argument of power component is a subclass of artifact
(instance powerComponent AsymmetricRelation) Mid-level-ontology.kif 2142-2142 power component is an instance of asymmetric relation
(instance powerComponent BinaryPredicate) Mid-level-ontology.kif 2141-2141 power component is an instance of binary predicate
(instance powerComponent IrreflexiveRelation) Mid-level-ontology.kif 2143-2143 power component is an instance of irreflexive relation
(subrelation powerComponent component) Mid-level-ontology.kif 2146-2146 power component is a subrelation of component

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


(format EnglishLanguage powerComponent "%2 is %n a power component of %1") domainEnglishFormat.kif 512-512
(termFormat EnglishLanguage powerComponent "power component") domainEnglishFormat.kif 8257-8257 "power component" is the printable form of power component in english language

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


(=>
    (and
        (powerComponent ?G ?O)
        (instance ?O Device))
    (instance ?O SelfPoweredDevice))
Mid-level-ontology.kif 2154-2158
(=>
    (powerComponent ?G ?O)
    (and
        (instance ?G Device)
        (instance ?O Artifact)))
Mid-level-ontology.kif 2148-2152

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


(=>
    (instance ?DEVICE SelfPoweredDevice)
    (exists (?SOURCE)
        (and
            (instance ?SOURCE Device)
            (powerComponent ?SOURCE ?DEVICE))))
Mid-level-ontology.kif 3219-3224
(=>
    (instance ?UV PoweredVehicle)
    (exists (?P)
        (powerComponent ?P ?UV)))
Transportation.kif 1762-1765
(=>
    (instance ?UV UnpoweredVehicle)
    (not
        (exists (?P)
            (powerComponent ?P ?UV))))
Transportation.kif 1751-1755


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners