No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24549-24549 |
LocalizablePlaceID 是 PlaceID 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24551-24551 |
PlaceAddress 是 PlaceID 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24868-24868 |
VirtualPlaceID 是 PlaceID 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65321-65321 |
|