Orchard - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Orchard CultivatedLandArea)	Food.kif 3690-3690	Orchard is a subclass of cultivated land area
(documentation Orchard EnglishLanguage "A CollectionOfObjects of Trees that are the product of Agriculture and raised for their production of PlantAgriculturalProducts.")	Food.kif 3691-3692	Orchard is a subclass of cultivated land area

appearance as argument number 2

(subclass AppleOrchard Orchard)	Food.kif 3719-3719	Apple orchard is a subclass of orchard
(termFormat EnglishLanguage Orchard "orchard")	domainEnglishFormat.kif 65275-65275	Apple orchard is a subclass of orchard

antecedent

(=>
    (instance ?O Orchard)
    (exists (?A ?T)
        (and
            (instance ?A Agriculture)
            (located ?A ?O)
            (instance ?T Tree)
            (result ?A ?T))))

If X is an instance of orchard, then there exist Y, Z such that Y is an instance of agriculture, Y is located at X, Z is an instance of tree, and Z is a result of Y