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_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 6270-6271
(documentation AreaMeasure JapaneseLanguage "2 次元のスペースの量の測定。") japanese_format.kif 1096-1096
(subclass AreaMeasure FunctionQuantity) Merge.kif 6268-6268 Area measure is a subclass of function quantity

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


(termFormat ChineseLanguage AreaMeasure "面积测量") chinese_format.kif 1305-1305
(termFormat EnglishLanguage AreaMeasure "area measure") english_format.kif 1827-1827
(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 522-522
(termFormat JapaneseLanguage AreaMeasure "面積測定") japanese_format.kif 2667-2667
(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 ro AreaMeasure "mãsurã de arie") relations-ro.kif 1004-1004
(termFormat tg AreaMeasure "sukat ng lawak") terms-tg.txt 523-523

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


(domain landAreaOnly 2 AreaMeasure) Geography.kif 539-539 The number 2 argument of land area only is an instance of area measure
(domain totalArea 2 AreaMeasure) Mid-level-ontology.kif 31227-31227 The number 2 argument of total area is an instance of area measure
(domain waterAreaOnly 2 AreaMeasure) Geography.kif 548-548 The number 2 argument of water area only is an instance of area measure

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


(=>
    (and
        (arableLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION
        (MeasureFn ?AMOUNT ?UNIT)))
Geography.kif 2080-2090
(=>
    (and
        (instance ?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 1186-1201
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfArea))
    (instance ?QUANT AreaMeasure))
Merge.kif 6371-6375


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 3.0 is open source software produced by Articulate Software and its partners