No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6712-6714 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6707-6707 |
域 街道地址, 1 and StationaryArtifact |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6708-6708 |
域 街道地址, 2 and 巷道 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6709-6709 |
域 街道地址, 3 and City |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6710-6710 |
域 街道地址, 4 and Nation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6706-6706 |
例 街道地址 and QuaternaryFunction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6711-6711 |
範圍 街道地址 and AutonomousAgent |