IrrigatedLand - Sigma Knowledge base Browser

consequent

(=>
    (and
        (irrigatedLandArea ?REGION
            (MeasureFn ?AMOUNT ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?IRRLAND)
        (and
            (instance ?IRRLAND IrrigatedLand)
            (geographicSubregion ?IRRLAND ?REGION)
            (measure ?IRRLAND
                (MeasureFn ?AMOUNT ?UNIT)))))

If X Y(s) is an irrigated land area of Z and Y is an instance of unit of area, then there exists W such that W is an instance of irrigated land and W is a geographic subregion of Z and the measure of W is X Y(s)

(subclass IrrigatedLand LandArea)	Geography.kif 3657-3657	Irrigated land is a subclass of land area
(documentation IrrigatedLand EnglishLanguage "IrrigatedLand is the subclass of LandArea representing land whose water supply is artificially supplied or supplemented.")	Geography.kif 3659-3661	Irrigated land is a subclass of land area
(externalImage IrrigatedLand "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ LevelBasinFloodIrrigation.JPG")	pictureList.kif 1489-1489	Irrigated land is a subclass of land area

(termFormat EnglishLanguage IrrigatedLand "irrigated land")	domainEnglishFormat.kif 31107-31107
(termFormat ChineseTraditionalLanguage IrrigatedLand "灌溉土地")	domainEnglishFormat.kif 31108-31108
(termFormat ChineseLanguage IrrigatedLand "灌溉土地")	domainEnglishFormat.kif 31109-31109