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