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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Battery

Sigma KEE - Battery
Battery

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


(defaultMaximumHeight Battery
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 782-782
(defaultMaximumLength Battery
    (MeasureFn 12 Inch))
DimensioningAmenities.kif 786-786
(defaultMaximumMeasure Battery
    (MeasureFn 30 PoundMass))
DimensioningAmenities.kif 788-788
(defaultMaximumWidth Battery
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 784-784
(defaultMinimumHeight Battery
    (MeasureFn 15 Millimeter))
DimensioningAmenities.kif 781-781
(defaultMinimumLength Battery
    (MeasureFn 15 Millimeter))
DimensioningAmenities.kif 785-785
(defaultMinimumMeasure Battery
    (MeasureFn 1 OunceMass))
DimensioningAmenities.kif 787-787
(defaultMinimumWidth Battery
    (MeasureFn 5 Millimeter))
DimensioningAmenities.kif 783-783
(documentation Battery EnglishLanguage "Battery is a subclass of Device. Batteries are devices that use chemical means to store or produce electrical power.") Mid-level-ontology.kif 3043-3044
(externalImage Battery "http://upload.wikimedia.org/wikipedia/en/thumb/0/ 0c/ AA-Batteries.png/ 200px-AA-Batteries.png") pictureList.kif 1046-1046
(subclass Battery DCPowerSource) Mid-level-ontology.kif 3041-3041
(subclass Battery ElectricDevice) Mid-level-ontology.kif 3042-3042

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


(subclass NonRechargeableBattery Battery) Cars.kif 2427-2427
(subclass RechargeableBattery Battery) Cars.kif 2417-2417
(termFormat EnglishLanguage Battery "battery") domainEnglishFormat.kif 2137-2137

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


(=>
    (instance ?D Discharging)
    (exists (?B)
        (and
            (instance ?B Battery)
            (origin ?D ?B))))
Cars.kif 2410-2415


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