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 319-319
(defaultMaximumLength ElectricCoffeeMaker
    (MeasureFn 17 Inch))
DimensioningAmenities.kif 323-323
(defaultMaximumMeasure ElectricCoffeeMaker
    (MeasureFn 10 PoundMass))
DimensioningAmenities.kif 325-325
(defaultMaximumMeasure ElectricCoffeeMaker
    (MeasureFn 12 Cup))
DimensioningAmenities.kif 317-317
(defaultMaximumWidth ElectricCoffeeMaker
    (MeasureFn 12 Inch))
DimensioningAmenities.kif 321-321
(defaultMinimumHeight ElectricCoffeeMaker
    (MeasureFn 8 Inch))
DimensioningAmenities.kif 318-318
(defaultMinimumLength ElectricCoffeeMaker
    (MeasureFn 5 Inch))
DimensioningAmenities.kif 322-322
(defaultMinimumMeasure ElectricCoffeeMaker
    (MeasureFn 1 Cup))
DimensioningAmenities.kif 316-316
(defaultMinimumMeasure ElectricCoffeeMaker
    (MeasureFn 1 PoundMass))
DimensioningAmenities.kif 324-324
(defaultMinimumWidth ElectricCoffeeMaker
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 320-320
(documentation ElectricCoffeeMaker EnglishLanguage "ElectricCoffeeMaker is a Device that makes Coffee") Mid-level-ontology.kif 23060-23061
(subclass ElectricCoffeeMaker ElectricDevice) Mid-level-ontology.kif 23059-23059
(subclass ElectricCoffeeMaker HomeAppliance) Society.kif 640-640

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


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

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 23064-23072


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