Orchard - Sigma Knowledge base Browser

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 3659-3660
(subclass Orchard CultivatedLandArea)	Food.kif 3658-3658	Orchard is a subclass of cultivated land area

appearance as argument number 2

(subclass AppleOrchard Orchard)	Food.kif 3687-3687	Apple orchard is a subclass of orchard
(termFormat EnglishLanguage Orchard "orchard")	domainEnglishFormat.kif 65295-65295	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))))

Food.kif 3662-3669