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


KB Term:  Term intersection
English Word: 

  Aerator

 Sigma KEE - Aerator
Aerator(aerator)
aerator, blower

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


(subclass Aerator Device) Mid-level-ontology.kif 2457-2457 Aerator is a subclass of device
(documentation Aerator EnglishLanguage "A Device whose purpose is to mix Substances with Air.") Mid-level-ontology.kif 2458-2459 Aerator is a subclass of device
(externalImage Aerator "http://upload.wikimedia.org/wikipedia/commons/4/ 42/ Faucetaerator..jpg") pictureList.kif 4478-4478 Aerator is a subclass of device

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


(termFormat EnglishLanguage Aerator "aerator") domainEnglishFormat.kif 5641-5641
(termFormat ChineseTraditionalLanguage Aerator "增氧機") domainEnglishFormat.kif 5642-5642
(termFormat ChineseLanguage Aerator "增氧机") domainEnglishFormat.kif 5643-5643

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


(=>
    (instance ?AERATOR Aerator)
    (hasPurpose ?AERATOR
        (exists (?COMBINE ?AIR)
            (and
                (instance ?COMBINE Combining)
                (resource ?COMBINE ?AIR)
                (instance ?AIR Air)
                (instrument ?COMBINE ?AERATOR)))))		 Mid-level-ontology.kif 2461-2469 If X is an instance of aerator, then X has the purpose there exist Y, Z such that Y is an instance of combining, Z is a resource for Y, Z is an instance of air, and X is an instrument for Y


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners