No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23219-23222 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23223-23223 |
域 工作地址, 1 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23224-23224 |
域 工作地址, 2 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23217-23217 |
例 工作地址 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23216-23216 |
例 工作地址 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23218-23218 |
子關係 工作地址 and postContactSite |