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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AreaMeasure

Sigma KEE - AreaMeasure
AreaMeasure

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 6043-6044
(subclass AreaMeasure FunctionQuantity) Merge.kif 6041-6041

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


(termFormat ChineseLanguage AreaMeasure "面积测量") chinese_format.kif 1305-1305
(termFormat EnglishLanguage AreaMeasure "area measure") english_format.kif 1827-1827

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


(domain landAreaOnly 2 AreaMeasure) Geography.kif 546-546
(domain totalArea 2 AreaMeasure) Geography.kif 539-539
(domain waterAreaOnly 2 AreaMeasure) Geography.kif 555-555

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


(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION ?AMOUNT))
Geography.kif 2052-2059
(=>
    (and
        (irrigatedLandArea ?REGION ?AMOUNT)
        (instance ?AMOUNT AreaMeasure)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?FRACTION
            (DivisionFn ?AMOUNT ?TOTAL)))
    (irrigatedLandArea ?REGION ?FRACTION))
Geography.kif 2192-2199
(=>
    (and
        (otherLandUseArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (otherLandUseArea ?REGION ?AMOUNT))
Geography.kif 2142-2149
(=>
    (and
        (permanentCropLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (permanentCropLandArea ?REGION ?AMOUNT))
Geography.kif 2100-2107
(=>
    (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 ?U)
        (and
            (immediateInstance ?NORMAL ?HOTELUNIT)
            (instance ?U UnitOfArea)
            (measure ?NORMAL
                (MeasureFn ?AREA1 ?U))
            (measure ?ROOM
                (MeasureFn ?AREA2 ?U))
            (instance ?AREA1 AreaMeasure)
            (instance ?AREA2 AreaMeasure)
            (greaterThan ?AREA2 ?AREA1))))
Hotel.kif 1164-1179
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfArea))
    (instance ?QUANT AreaMeasure))
Merge.kif 6144-6148


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners