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 | O argumento numero 1 de populationDensity e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31717-31717 | O argumento numero 2 de populationDensity e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31718-31718 | O argumento numero 3 de populationDensity e' uma instancia de UnitOfArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31715-31715 | populationDensity e' uma instancia de Predicado Ternario |
![]() |
![]() |