CultivatedLandArea - Sigma Knowledge base Browser

appearance as argument number 1

(subclass CultivatedLandArea LandArea)	Mid-level-ontology.kif 9456-9456	Cultivated land area is a subclass of land area
(documentation CultivatedLandArea EnglishLanguage "A LandArea which is dedicated to Agriculture, e.g. Lawns, gardens, and fields for growing crops.")	Mid-level-ontology.kif 9457-9458	Cultivated land area is a subclass of land area

appearance as argument number 2

(subclass Garden CultivatedLandArea)	Mid-level-ontology.kif 9472-9472	Garden is a subclass of cultivated land area
(subclass Orchard CultivatedLandArea)	Food.kif 3690-3690	Orchard is a subclass of cultivated land area
(rangeSubclass FarmOfProductFn CultivatedLandArea)	Food.kif 3707-3707	The values returned by farm of product fn are subclasses of cultivated land area
(subclass Vineyard CultivatedLandArea)	Food.kif 3723-3723	Vineyard is a subclass of cultivated land area
(termFormat EnglishLanguage CultivatedLandArea "cultivated land area")	domainEnglishFormat.kif 18006-18006	Vineyard is a subclass of cultivated land area
(termFormat ChineseTraditionalLanguage CultivatedLandArea "耕地面積")	domainEnglishFormat.kif 18007-18007	Vineyard is a subclass of cultivated land area
(termFormat ChineseLanguage CultivatedLandArea "耕地面积")	domainEnglishFormat.kif 18008-18008	Vineyard is a subclass of cultivated land area

appearance as argument number 3

(domain plantInArea 2 CultivatedLandArea)

antecedent

(=>
    (instance ?A CultivatedLandArea)
    (exists (?C)
        (and
            (instance ?C Agriculture)
            (eventLocated ?C ?A))))

If X is an instance of cultivated land area, then there exists Y such that Y is an instance of agriculture and Y is located at X

consequent

(=>
    (instance ?DEVICE GardenAppliance)
    (hasPurpose ?DEVICE
        (exists (?AREA ?PROC)
            (and
                (instance ?PROC Process)
                (instance ?AREA CultivatedLandArea)
                (instrument ?PROC ?DEVICE)
                (located ?PROC ?AREA)))))

If X is an instance of garden tool, then X has the purpose there exist Y, Z such that Z is an instance of process, Y is an instance of cultivated land area, X is an instrument for Z, and Z is located at Y