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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Harvesting

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 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 est une sous-classe de tuer
(subclass Harvesting Removing) Mid-level-ontology.kif 18072-18072 Harvesting est une sous-classe de supprimer

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


(subclass Felling Harvesting) Economy.kif 5469-5469 Felling est une sous-classe de 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 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 is open source software produced by Articulate Software and its partners