UnitOfArea(unit of area) |
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 | Unit of area is a subclass of composite unit of measure |
appearance as argument number 2 |
![]() |
(instance Acre UnitOfArea) | Mid-level-ontology.kif 15060-15060 | Acre is an instance of unit of area |
(instance SquareFoot UnitOfArea) | Mid-level-ontology.kif 14984-14984 | Square foot is an instance of unit of area |
(instance SquareKilometer UnitOfArea) | Geography.kif 750-750 | Square kilometer is an instance of unit of area |
(instance SquareMeter UnitOfArea) | Geography.kif 4171-4171 | Square meter is an instance of unit of area |
(instance SquareMile UnitOfArea) | Mid-level-ontology.kif 15071-15071 | Square mile is an instance of unit of area |
(instance SquareMillimeter UnitOfArea) | Geography.kif 4176-4176 | Square millimeter is an instance of unit of area |
(instance SquareYard UnitOfArea) | Mid-level-ontology.kif 15077-15077 | Square yard is an instance of unit of area |
(termFormat EnglishLanguage UnitOfArea "unit of area") | domainEnglishFormat.kif 65646-65646 | Square yard is an instance of unit of area |
appearance as argument number 3 |
![]() |
(domain populationDensity 3 UnitOfArea) | Mid-level-ontology.kif 33669-33669 | The number 3 argument of population density is an instance of unit of area |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |