No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24550-24550 | PlaceAddress 是 PlaceID 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24843-24843 | PostalAddressText 是 PlaceAddress 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24869-24869 | VirtualAddress 是 PlaceAddress 的 subclass |