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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricCoffeeMaker

Sigma KEE - ElectricCoffeeMaker
ElectricCoffeeMaker

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


(defaultMaximumHeight ElectricCoffeeMaker
    (MeasureFn 11 Inch))
DimensioningAmenities.kif 72-72
(defaultMaximumLength ElectricCoffeeMaker
    (MeasureFn 17 Inch))
DimensioningAmenities.kif 76-76
(defaultMaximumMeasure ElectricCoffeeMaker
    (MeasureFn 10 PoundMass))
DimensioningAmenities.kif 78-78
(defaultMaximumMeasure ElectricCoffeeMaker
    (MeasureFn 12 Cup))
DimensioningAmenities.kif 70-70
(defaultMaximumWidth ElectricCoffeeMaker
    (MeasureFn 12 Inch))
DimensioningAmenities.kif 74-74
(defaultMinimumHeight ElectricCoffeeMaker
    (MeasureFn 8 Inch))
DimensioningAmenities.kif 71-71
(defaultMinimumLength ElectricCoffeeMaker
    (MeasureFn 5 Inch))
DimensioningAmenities.kif 75-75
(defaultMinimumMeasure ElectricCoffeeMaker
    (MeasureFn 1 Cup))
DimensioningAmenities.kif 69-69
(defaultMinimumMeasure ElectricCoffeeMaker
    (MeasureFn 1 PoundMass))
DimensioningAmenities.kif 77-77
(defaultMinimumWidth ElectricCoffeeMaker
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 73-73
(documentation ElectricCoffeeMaker EnglishLanguage "ElectricCoffeeMaker is a Device that makes Coffee") Mid-level-ontology.kif 23421-23422
(subclass ElectricCoffeeMaker ElectricDevice) Mid-level-ontology.kif 23420-23420
(subclass ElectricCoffeeMaker HomeAppliance) Society.kif 640-640

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


(termFormat EnglishLanguage ElectricCoffeeMaker "coffee maker") Mid-level-ontology.kif 23423-23423

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


(=>
    (instance ?C ElectricCoffeeMaker)
    (hasPurpose ?C
        (exists (?COFFEE ?M)
            (and
                (instance ?M Making)
                (instrument ?M ?C)
                (result ?M ?COFFEE)
                (instance ?COFFEE Coffee)))))
Mid-level-ontology.kif 23425-23433


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