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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricCoffeeMaker

Sigma KEE - ElectricCoffeeMaker
ElectricCoffeeMaker(coffee maker)coffee_maker

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


(documentation ElectricCoffeeMaker EnglishLanguage "ElectricCoffeeMaker is a Device that makes Coffee") Mid-level-ontology.kif 23517-23518
(subclass ElectricCoffeeMaker ElectricDevice) Mid-level-ontology.kif 23516-23516 Coffee maker is a subclass of electric device

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


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

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 23521-23529


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