| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24604-24604 | Place ID is a subclass of place descriptor |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24606-24606 | Localizable place ID is a subclass of place ID |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24608-24608 | Place address is a subclass of place ID |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24925-24925 | Virtual place ID is a subclass of place ID |
|
|