Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - PopcornMaker
PopcornMaker

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


(subclass PopcornMaker Device) Society.kif 787-787 PopcornMaker is a subclass of device
(subclass PopcornMaker HeatingDevice) Society.kif 788-788 PopcornMaker is a subclass of heating device
(subclass PopcornMaker HomeAppliance) Society.kif 789-789 PopcornMaker is a subclass of home appliance

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


(=>
    (instance ?PM PopcornMaker)
    (hasPurpose ?PM
        (exists (?MAKE ?POPCORN)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?POPCORN)
                (instance ?POPCORN Popcorn)
                (instrument ?MAKE ?PM)))))		 Society.kif 790-798 If X is an instance of PopcornMaker, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is a result of Y, Z is an instance of popcorn, and X is an instrument for Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners