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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AreaMeasure
AreaMeasureMedida_de_Area, MisuraDiArea, ar, are, area, area_measure, area_unit, arpent, b, balk, barn, baulk, centare, dessiatine, erasure, expanse, footprint, gidak-ong_sukod, hectare, king-size, king-sized, kshetraphala_maapa, mesure_d'aire, 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, sukat_ng_lawak, surface_area, 面积测量

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


(documentation AreaMeasure ChineseLanguage "这是用来量度二维空间的尺度。") Merge.kif 6400-6400
(documentation AreaMeasure EnglishLanguage "Measures of the amount of space in two dimensions.") Merge.kif 6398-6399
(subclass AreaMeasure FunctionQuantity) Merge.kif 6397-6397

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


(termFormat ChineseLanguage AreaMeasure "面积测量") chinese_format.kif 1305-1305
(termFormat EnglishLanguage AreaMeasure "area measure") english_format.kif 992-992
(termFormat FrenchLanguage AreaMeasure "mesure d'aire") french_format.kif 983-983
(termFormat Hindi AreaMeasure "kshetraphala maapa") terms-hindi.txt 518-518
(termFormat ItalianLanguage AreaMeasure "MisuraDiArea") terms-it.txt 520-520
(termFormat PortugueseLanguage AreaMeasure "Medida de Area") portuguese_format.kif 935-935
(termFormat cb AreaMeasure "gidak-ong sukod") terms-cb.txt 524-524
(termFormat cz AreaMeasure "area measure") terms-cz.txt 558-558
(termFormat tg AreaMeasure "sukat ng lawak") terms-tg.txt 523-523

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


(domain landAreaOnly 2 AreaMeasure) Geography.kif 543-543
(domain totalArea 2 AreaMeasure) Geography.kif 536-536
(domain waterAreaOnly 2 AreaMeasure) Geography.kif 552-552

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


(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION ?AMOUNT))
Geography.kif 2019-2026
(=>
    (and
        (irrigatedLandArea ?REGION ?AMOUNT)
        (instance ?AMOUNT AreaMeasure)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?FRACTION
            (DivisionFn ?AMOUNT ?TOTAL)))
    (irrigatedLandArea ?REGION ?FRACTION))
Geography.kif 2159-2166
(=>
    (and
        (otherLandUseArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (otherLandUseArea ?REGION ?AMOUNT))
Geography.kif 2109-2116
(=>
    (and
        (permanentCropLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (permanentCropLandArea ?REGION ?AMOUNT))
Geography.kif 2067-2074
(=>
    (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 1136-1148
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfArea))
    (instance ?QUANT AreaMeasure))
Merge.kif 6514-6518


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