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 OragnicObject being harvested as a result.") Mid-level-ontology.kif 18101-18102
(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 18100-18100 收获杀害subclass
(subclass Harvesting Removing) Mid-level-ontology.kif 18099-18099 收获移除subclass

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


(subclass Felling Harvesting) Economy.kif 5469-5469 砍伐收获subclass
(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 18111-18119
(=>
    (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 18104-18109

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 20068-20077


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