UnitOfArea
|
|
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 6274-6276 | |
(documentation UnitOfArea JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasure で MeasureFn と共に AreaMeasure のインスタンスを形成するのに使用できる。") | japanese_format.kif 1097-1098 | |
(subclass UnitOfArea CompositeUnitOfMeasure) | Merge.kif 6272-6272 | UnitOfArea 是 CompositeUnitOfMeasure 的 subclass |
appearance as argument number 2 |
(instance Acre UnitOfArea) | Mid-level-ontology.kif 13689-13689 | 英亩 是 UnitOfArea 的 instance |
(instance SquareFoot UnitOfArea) | Mid-level-ontology.kif 13624-13624 | SquareFoot 是 UnitOfArea 的 instance |
(instance SquareKilometer UnitOfArea) | Geography.kif 613-613 | 平方千米 是 UnitOfArea 的 instance |
(instance SquareMeter UnitOfArea) | Geography.kif 3953-3953 | 平方米 是 UnitOfArea 的 instance |
(instance SquareMile UnitOfArea) | Mid-level-ontology.kif 13692-13692 | 平方英里 是 UnitOfArea 的 instance |
(instance SquareYard UnitOfArea) | Mid-level-ontology.kif 13702-13702 | 方码 是 UnitOfArea 的 instance |
(termFormat EnglishLanguage UnitOfArea "unit of area") | domainEnglishFormat.kif 65652-65652 |
appearance as argument number 3 |
(domain populationDensity 3 UnitOfArea) | Mid-level-ontology.kif 31722-31722 | populationDensity 的 3 数量 是 UnitOfArea 的 instance |
antecedent |
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 |
|