Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AreaMeasure
AreaMeasure(area measure)ar, are, area, area_measure, area_unit, arpent, b, balk, barn, baulk, centare, dessiatine, erasure, expanse, footprint, hectare, king-size, king-sized, morgen, perch, pole, quarter_section, queen-size, queen-sized, rod, sq_ft, sq_in, sq_yd, square_foot, square_inch, square_measure, square_meter, square_metre, square_yard, surface_area, 面积测量, 面積測定

appearance as argument number 1
-------------------------


(documentation AreaMeasure ChineseLanguage "这是用来量度二维空间的尺度。") chinese_format.kif 2409-2409
(documentation AreaMeasure EnglishLanguage "Measures of the amount of space in two dimensions.") Merge.kif 5835-5836
(subclass AreaMeasure FunctionQuantity) Merge.kif 5833-5833 Area measure is a subclass of function quantity

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage AreaMeasure "面积测量") chinese_format.kif 1305-1305 "面积测量" is the printable form of area measure in ChineseLanguage
(termFormat EnglishLanguage AreaMeasure "area measure") english_format.kif 1836-1836 "area measure" is the printable form of area measure in english language

appearance as argument number 3
-------------------------


(domain landAreaOnly 2 AreaMeasure) Geography.kif 546-546 The number 2 argument of land area only is an instance of area measure
(domain totalArea 2 AreaMeasure) Geography.kif 539-539 The number 2 argument of total area is an instance of area measure
(domain waterAreaOnly 2 AreaMeasure) Geography.kif 555-555 The number 2 argument of water area only is an instance of area measure

antecedent
-------------------------


(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION ?AMOUNT))
Geography.kif 2031-2038
(=>
    (and
        (irrigatedLandArea ?REGION ?AMOUNT)
        (instance ?AMOUNT AreaMeasure)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?FRACTION
            (DivisionFn ?AMOUNT ?TOTAL)))
    (irrigatedLandArea ?REGION ?FRACTION))
Geography.kif 2171-2178
(=>
    (and
        (otherLandUseArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (otherLandUseArea ?REGION ?AMOUNT))
Geography.kif 2121-2128
(=>
    (and
        (permanentCropLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (permanentCropLandArea ?REGION ?AMOUNT))
Geography.kif 2079-2086
(=>
    (and
        (subclass ?UNIT AreaMeasure)
        (measure Alaska
            (MeasureFn ?NUMBER1 ?UNIT))
        (measure ?STATE
            (MeasureFn ?NUMBER2 ?UNIT))
        (instance ?STATE AmericanState)
        (not
            (equal Alaska ?STATE)))
    (lessThan ?NUMBER2 ?NUMBER1))
CountriesAndRegions.kif 871-878

consequent
-------------------------


(=>
    (and
        (attribute ?ROOM Oversized)
        (immediateInstance ?ROOM ?HOTELUNIT)
        (subclass ?HOTELUNIT HotelUnit))
    (exists (?NORMAL ?AREA1 ?AREA2)
        (and
            (immediateInstance ?NORMAL ?HOTELUNIT)
            (measure ?NORMAL ?AREA1)
            (measure ?ROOM ?AREA2)
            (instance ?AREA1 AreaMeasure)
            (instance ?AREA2 AreaMeasure)
            (greaterThan ?AREA2 ?AREA1))))
Hotel.kif 1140-1152
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfArea))
    (instance ?QUANT AreaMeasure))
Merge.kif 5936-5940


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners