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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Harvesting
Harvesting

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 OrganicObject being harvested as a result.") Mid-level-ontology.kif 19645-19646
(externalImage Harvesting "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Manual_harvest_in_Tirumayam.jpg") pictureList.kif 2586-2586
(externalImage Harvesting "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Ueberladewagen.jpg") pictureList.kif 2476-2476
(externalImage Harvesting "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Claas_Lexion-570-2.jpg") pictureList.kif 2585-2585
(subclass Harvesting Killing) Mid-level-ontology.kif 19644-19644
(subclass Harvesting Removing) Mid-level-ontology.kif 19643-19643

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


(subclass Felling Harvesting) Economy.kif 5811-5811
(termFormat ChineseLanguage Harvesting "收获") domainEnglishFormat.kif 27503-27503
(termFormat ChineseTraditionalLanguage Harvesting "收穫") domainEnglishFormat.kif 27502-27502
(termFormat EnglishLanguage Harvesting "harvesting") domainEnglishFormat.kif 27501-27501

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


(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?M)
        (instance ?M Mushroom))
    (attribute ?M Produce))
Food.kif 2694-2699
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))
Mid-level-ontology.kif 19655-19663
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?X)
        (instance ?X Herb))
    (attribute ?X Produce))
Food.kif 2166-2171
(=>
    (instance ?H Harvesting)
    (exists (?A)
        (and
            (instance ?A Agriculture)
            (subProcess ?H ?A))))
Mid-level-ontology.kif 19648-19653

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 4532-4541
(=>
    (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 21628-21637


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