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

KB Term:  Term intersection
English Word: 

Sigma KEE - Harvesting
Harvesting(harvesting)
glean, harvest, reap

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


(subclass Harvesting Removing) Mid-level-ontology.kif 20006-20006 Harvesting is a subclass of removing
(subclass Harvesting Killing) Mid-level-ontology.kif 20007-20007 Harvesting is a subclass of killing
(documentation Harvesting EnglishLanguage "Gathering the plants, animals or fish as results of Agriculture. It inevitablely involves the dead of the OrganicObject being harvested as a result.") Mid-level-ontology.kif 20008-20009 Harvesting is a subclass of killing
(externalImage Harvesting "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Ueberladewagen.jpg") pictureList.kif 2476-2476 Harvesting is a subclass of killing
(externalImage Harvesting "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Claas_Lexion-570-2.jpg") pictureList.kif 2585-2585 Harvesting is a subclass of killing
(externalImage Harvesting "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Manual_harvest_in_Tirumayam.jpg") pictureList.kif 2586-2586 Harvesting is a subclass of killing

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


(subclass Felling Harvesting) Economy.kif 5819-5819 Felling is a subclass of harvesting
(termFormat EnglishLanguage Harvesting "harvesting") domainEnglishFormat.kif 27494-27494 Felling is a subclass of harvesting
(termFormat ChineseTraditionalLanguage Harvesting "收穫") domainEnglishFormat.kif 27495-27495 Felling is a subclass of harvesting
(termFormat ChineseLanguage Harvesting "收获") domainEnglishFormat.kif 27496-27496 Felling is a subclass of harvesting

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


(=>
    (instance ?H Harvesting)
    (exists (?A)
        (and
            (instance ?A Agriculture)
            (subProcess ?H ?A))))		 Mid-level-ontology.kif 20011-20016 If X is an instance of harvesting, then there exists Y such that Y is an instance of agriculture and X is a subprocess of Y
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))		 Mid-level-ontology.kif 20018-20026 If X is an instance of harvesting and Y is a result of X, then there exists Z such that Y is an instance of a dead Z and Z is a subclass of organic object
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?X)
        (instance ?X Herb))
    (attribute ?X Produce))		 Food.kif 2179-2184 If X is an instance of harvesting, Y is a result of X, and Y is an instance of herb, then produce is an attribute of Y
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?M)
        (instance ?M Mushroom))
    (attribute ?M Produce))		 Food.kif 2715-2720 If X is an instance of harvesting, Y is a result of X, and Y is an instance of mushroom, then produce is an attribute of Y

consequent
-------------------------


(=>
    (attribute ?X Fodder)
    (hasPurpose ?X
        (exists (?H)
            (and
                (instance ?H Harvesting)
                (result ?H ?X)
                (instance ?X OrganicObject)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))		 Mid-level-ontology.kif 22256-22265 If fodder is an attribute of X, then X has the purpose there exists Y such that Y is an instance of harvesting, X is a result of Y, X is an instance of organic object, and X is an instance of food for domestic animal
(=>
    (and
        (attribute ?X Produce)
        (instance ?X FruitOrVegetable))
    (hasPurpose ?X
        (exists (?H)
            (and
                (instance ?H Harvesting)
                (result ?H ?X)
                (instance ?X
                    (FoodForFn Human))))))		 Economy.kif 4527-4536 If produce is an attribute of X and X is an instance of fruit or vegetable, then X has the purpose there exists Y such that Y is an instance of harvesting, X is a result of Y, and X is an instance of food for human


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