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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Charging

Sigma KEE - Charging
Charging

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


(documentation Charging EnglishLanguage "The Process of moving electric potential into a RechargeableBattery.") Cars.kif 2382-2383
(documentation Charging EnglishLanguage "The Process of moving electric potential out of a Battery.") Cars.kif 2404-2405
(subclass Charging ElectricTransmission) Cars.kif 2380-2380 ChargingElectricTransmissionsubclass では %n

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


(termFormat EnglishLanguage Charging "charging") Cars.kif 2381-2381

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


(=>
    (instance ?C Charging)
    (exists (?RB)
        (and
            (instance ?RB RechargeableBattery)
            (destination ?C ?RB))))
Cars.kif 2385-2390

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


(=>
    (instance ?CH Charger)
    (hasPurpose ?CH
        (exists (?P)
            (and
                (instance ?P Charging)
                (instrument ?P ?CH)))))
Cars.kif 2394-2400
(=>
    (instance ?RB NonRechargeableBattery)
    (not
        (capability Charging destination ?RB)))
Cars.kif 2429-2432
(=>
    (instance ?RB RechargeableBattery)
    (capability Charging destination ?RB))
Cars.kif 2420-2422


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