populationDensity |
appearance as argument number 1 |
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 | 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 31717-31717 | 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 31718-31718 | 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 31715-31715 | populationDensity is an instance of ternary predicate |