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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(documentation Harvesting EnglishLanguage "Gathering the plants, animals or fish as results of Agriculture. It inevitablely involves the dead of the OragnicObject being harvested as a result.") Mid-level-ontology.kif 18074-18075
(externalImage Harvesting "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Manual_harvest_in_Tirumayam.jpg") pictureList.kif 2587-2587
(externalImage Harvesting "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Ueberladewagen.jpg") pictureList.kif 2477-2477
(externalImage Harvesting "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Claas-Lexion-570-2.jpg") pictureList.kif 2586-2586
(subclass Harvesting Killing) Mid-level-ontology.kif 18073-18073 Harvesting is a subclass of killing
(subclass Harvesting Removing) Mid-level-ontology.kif 18072-18072 Harvesting is a subclass of removing

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


(subclass Felling Harvesting) Economy.kif 5469-5469 Felling is a subclass of harvesting
(termFormat ChineseLanguage Harvesting "收获") domainEnglishFormat.kif 27492-27492
(termFormat ChineseTraditionalLanguage Harvesting "收穫") domainEnglishFormat.kif 27491-27491
(termFormat EnglishLanguage Harvesting "harvesting") domainEnglishFormat.kif 27490-27490

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


(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?M)
        (instance ?M Mushroom))
    (attribute ?M Produce))
Food.kif 2687-2692
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))
Mid-level-ontology.kif 18084-18092
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?X)
        (instance ?X Herb))
    (attribute ?X Produce))
Food.kif 2159-2164
(=>
    (instance ?H Harvesting)
    (exists (?A)
        (and
            (instance ?A Agriculture)
            (subProcess ?H ?A))))
Mid-level-ontology.kif 18077-18082

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


(=>
    (and
        (attribute ?X Produce)
        (instance ?X FruitOrVegetable))
    (hasPurpose ?X
        (exists (?H)
            (and
                (instance ?H Harvesting)
                (result ?H ?X)
                (instance ?X
                    (FoodForFn Human))))))
Economy.kif 4195-4204
(=>
    (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 20041-20050


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 is open source software produced by Articulate Software and its partners