UnitOfArea(unit of area) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2410-2411 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6299-6301 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1097-1098 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6297-6297 | Unit of area is a subclass of composite unit of measure |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15060-15060 | Acre is an instance of unit of area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14984-14984 | Square foot is an instance of unit of area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 783-783 | Square kilometer is an instance of unit of area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4204-4204 | Square meter is an instance of unit of area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15071-15071 | Square mile is an instance of unit of area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4209-4209 | Square millimeter is an instance of unit of area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15077-15077 | Square yard is an instance of unit of area |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65646-65646 | Square yard is an instance of unit of area |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33669-33669 | The number 3 argument of population density is an instance of unit of area |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1194-1209 |
|
![]() |
![]() |