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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Orchard
Orchard

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


(documentation Orchard EnglishLanguage "A Collection of Trees that are the product of Agriculture and raised for their production of PlantAgriculturalProducts.") Food.kif 3652-3653
(subclass Orchard CultivatedLandArea) Food.kif 3651-3651

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


(subclass AppleOrchard Orchard) Food.kif 3680-3680
(termFormat EnglishLanguage Orchard "orchard") domainEnglishFormat.kif 65272-65272

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


(=>
    (instance ?O Orchard)
    (exists (?A ?T)
        (and
            (instance ?A Agriculture)
            (located ?A ?O)
            (instance ?T Tree)
            (result ?A ?T))))
Food.kif 3655-3662


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