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 6265-6267 | |
(documentation UnitOfArea JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasure で MeasureFn と共に AreaMeasure のインスタンスを形成するのに使用できる。") | japanese_format.kif 1097-1098 | |
(subclass UnitOfArea CompositeUnitOfMeasure) | Merge.kif 6263-6263 | Unit of area is a subclass of composite unit of measure |
appearance as argument number 2 |
![]() |
(instance Acre UnitOfArea) | Mid-level-ontology.kif 14617-14617 | Acre is an instance of unit of area |
(instance SquareFoot UnitOfArea) | Mid-level-ontology.kif 14541-14541 | Square foot is an instance of unit of area |
(instance SquareKilometer UnitOfArea) | Geography.kif 613-613 | Square kilometer is an instance of unit of area |
(instance SquareMeter UnitOfArea) | Geography.kif 4034-4034 | Square meter is an instance of unit of area |
(instance SquareMile UnitOfArea) | Mid-level-ontology.kif 14628-14628 | Square mile is an instance of unit of area |
(instance SquareMillimeter UnitOfArea) | Geography.kif 4039-4039 | SquareMillimeter is an instance of unit of area |
(instance SquareYard UnitOfArea) | Mid-level-ontology.kif 14634-14634 | Square yard is an instance of unit of area |
(termFormat EnglishLanguage UnitOfArea "unit of area") | domainEnglishFormat.kif 65675-65675 | Square yard is an instance of unit of area |
appearance as argument number 3 |
![]() |
(domain populationDensity 3 UnitOfArea) | Mid-level-ontology.kif 32845-32845 | The number 3 argument of populationDensity is an instance of unit of area |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |