No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24549-24549 |
Localizable place ID is a subclass of place ID |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24551-24551 |
Place address is a subclass of place ID |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24868-24868 |
Virtual place ID is a subclass of place ID |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65321-65321 |
|