| appearance as argument number 1 |
|
| (documentation UnitOfArea ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来 组成 AreaMeasure 实例的 UnitOfMeasure.") | chinese_format.kif 2410-2411 | |
| (documentation UnitOfArea EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of AreaMeasure.") | Merge.kif 6299-6301 | |
| (documentation UnitOfArea JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasure で MeasureFn と共に AreaMeasure のインスタンスを形成するのに使用できる。") | japanese_format.kif 1097-1098 | |
| (subclass UnitOfArea CompositeUnitOfMeasure) | Merge.kif 6297-6297 | UnitOfArea は CompositeUnitOfMeasure の subclass では |
| appearance as argument number 2 |
|
|
| (instance Acre UnitOfArea) | Mid-level-ontology.kif 15060-15060 | Acre は UnitOfArea の instance では |
| (instance SquareFoot UnitOfArea) | Mid-level-ontology.kif 14984-14984 | SquareFoot は UnitOfArea の instance では |
| (instance SquareKilometer UnitOfArea) | Geography.kif 783-783 | SquareKilometer は UnitOfArea の instance では |
| (instance SquareMeter UnitOfArea) | Geography.kif 4204-4204 | SquareMeter は UnitOfArea の instance では |
| (instance SquareMile UnitOfArea) | Mid-level-ontology.kif 15071-15071 | SquareMile は UnitOfArea の instance では |
| (instance SquareMillimeter UnitOfArea) | Geography.kif 4209-4209 | SquareMillimeter は UnitOfArea の instance では |
| (instance SquareYard UnitOfArea) | Mid-level-ontology.kif 15077-15077 | SquareYard は UnitOfArea の instance では |
| (termFormat EnglishLanguage UnitOfArea "unit of area") | domainEnglishFormat.kif 65646-65646 | SquareYard は UnitOfArea の instance では |
| appearance as argument number 3 |
|
|
| (domain populationDensity 3 UnitOfArea) | Mid-level-ontology.kif 33669-33669 | populationDensity の数値 3 引数は UnitOfArea の instance では |
| antecedent |
|
|
| (=> (and (arableLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?ARABLE) (and (instance ?ARABLE ArableLand) (geographicSubregion ?ARABLE ?REGION) (measure ?ARABLE (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) |
Geography.kif 2250-2264 | |
| (=> (and (comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2) (instance ?UNIT UnitOfArea) (measure ?REGION1 (MeasureFn ?NUM1 ?UNIT)) (measure ?REGION2 (MeasureFn ?NUM2 ?UNIT))) (?RELATION (MeasureFn ?NUM1 ?UNIT) (MeasureFn (MultiplicationFn ?FACTOR ?NUM2) ?UNIT))) |
Geography.kif 825-835 | |
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfArea)) (instance ?QUANT AreaMeasure)) |
Merge.kif 6395-6399 | |
| (=> (and (instance ?UNIT UnitOfArea) (landAreaOnly ?AREA (MeasureFn ?LAND ?UNIT)) (waterAreaOnly ?AREA (MeasureFn ?WATER ?UNIT))) (totalArea ?AREA (MeasureFn (AdditionFn ?LAND ?WATER) ?UNIT))) |
Geography.kif 725-730 | |
| (=> (and (irrigatedLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)) (instance ?UNIT UnitOfArea) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (equal ?FRACTION (DivisionFn ?AMOUNT ?TOTAL))) (irrigatedLandArea ?REGION (MeasureFn ?FRACTION ?UNIT))) |
Geography.kif 2373-2383 | |
| (=> (and (irrigatedLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?IRRLAND) (and (instance ?IRRLAND IrrigatedLand) (geographicSubregion ?IRRLAND ?REGION) (measure ?IRRLAND (MeasureFn ?AMOUNT ?UNIT))))) |
Geography.kif 2397-2407 |
|
| (=> (and (irrigatedLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?FRACTION (DivisionFn ?AMOUNT ?TOTAL))) (irrigatedLandArea ?REGION (MeasureFn ?FRACTION ?UNIT))) |
Geography.kif 2385-2395 | |
| (=> (and (otherLandUseArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (otherLandUseArea ?REGION (MeasureFn ?AMOUNT ?UNIT))) |
Geography.kif 2323-2334 | |
| (=> (and (otherLandUseArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?OTHER) (and (instance ?OTHER LandArea) (not (instance ?OTHER ArableLand)) (not (instance ?OTHER PermanentCropLand)) (geographicSubregion ?OTHER ?REGION) (measure ?OTHER (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) |
Geography.kif 2336-2354 |
|
| (=> (and (permanentCropLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (permanentCropLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT))) |
Geography.kif 2283-2294 | |
| (=> (and (permanentCropLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?PERMCROP) (and (instance ?PERMCROP PermanentCropLand) (geographicSubregion ?PERMCROP ?REGION) (measure ?PERMCROP (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) |
Geography.kif 2296-2310 |
| 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 1194-1209 |
|
|
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