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 3652-3653
(subclass Orchard CultivatedLandArea)	Food.kif 3651-3651	Orchard is a subclass of cultivated land area

appearance as argument number 2

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