No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24800-24802 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24797-24797 |
域 postDistrict, 1 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24798-24798 |
域 postDistrict, 2 and StateOrProvince |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24795-24795 |
例 postDistrict and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24796-24796 |
例 postDistrict and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24799-24799 |
子關係 postDistrict and 位於 |