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


KB Term:  Term intersection
English Word: 

  LeafBlower

 Sigma KEE - LeafBlower
LeafBlower(leaf blower)

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


(subclass LeafBlower GardenAppliance) HouseholdAppliances.kif 484-484 Leaf blower is a subclass of garden tool
(documentation LeafBlower EnglishLanguage "A GardenAppliance that can be used to move debris by using propelled air blown through a nozzle.") HouseholdAppliances.kif 485-485 Leaf blower is a subclass of garden tool

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


(termFormat EnglishLanguage LeafBlower "leaf blower") HouseholdAppliances.kif 486-486
(subclass ElectricLeafBlower LeafBlower) HouseholdAppliances.kif 499-499 Electric leaf blower is a subclass of leaf blower

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


(=>
    (instance ?DEVICE LeafBlower)
    (hasPurpose ?DEVICE
        (exists (?LEAF ?TRANSFER)
            (and
                (instance ?LEAF PlantLeaf)
                (instance ?TRANSFER Transfer)
                (instrument ?TRANSFER ?DEVICE)
                (patient ?TRANSFER ?LEAF)))))		 HouseholdAppliances.kif 488-496 If X is an instance of leaf blower, then X has the purpose there exist Y, Z such that Y is an instance of plant leaf, Z is an instance of transfer, X is an instrument for Z, and Y is a patient of Z


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