No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31755-31756 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31752-31752 |
ε populationDensity, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31753-31753 |
ε populationDensity, 2 and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31754-31754 |
ε populationDensity, 3 and UnitOfArea |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31751-31751 |
δΎ populationDensity and TernaryPredicate |