AreaMeasure - Sigma Knowledge base Browser

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 31460-31460	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	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the other real number is an instance of area measure and a third real number is equal to the real number and the other real number, then the third real number the unit of measure(s) is an arable land area of the geographic area
(=> (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	If an unit of measure is an instance of area measure and the measure of alaska is a real number the unit of measure(s) and the measure of a physical is another real number the unit of measure(s) and the physical is an instance of american state and alaska is not equal to the physical, then the other real number is less than the real number

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	If oversized is an attribute of an object and the object is an immediate instance of a class and the class is a subclass of hotel unit, then there exist a physical, a real number,, , another real number and an unit of measure such that the physical is an immediate instance of the class and the unit of measure is an instance of unit of area and the measure of the physical is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the real number is an instance of area measure and the other real number is an instance of area measure and the other real number is greater than the real number
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfArea)) (instance ?QUANT AreaMeasure))	Merge.kif 6371-6375	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of unit of area, then the physical quantity is an instance of area measure

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