populationDensity |
appearance as argument number 1 |
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 | The number 1 argument of populationDensity is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31721-31721 | The number 2 argument of populationDensity is an instance of real number |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31722-31722 | The number 3 argument of populationDensity is an instance of unit of area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31719-31719 | populationDensity is an instance of ternary predicate |