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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65323-65323 |
|