No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31719-31720 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31716-31716 |
ε populationDensity, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31717-31717 |
ε populationDensity, 2 and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31718-31718 |
ε populationDensity, 3 and UnitOfArea |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31715-31715 |
δΎ populationDensity and TernaryPredicate |