No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22977-22977 |
例 同居 and 有意圖的關係 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23361-23361 |
例 國內的合作夥伴 and 有意圖的關係 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22942-22942 |
例 朋友 and 有意圖的關係 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2722-2722 |
例 在感興趣的範圍內 and 有意圖的關係 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2685-2685 |
例 偏好 and 有意圖的關係 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22875-22875 |
例 服務提供者 and 有意圖的關係 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22886-22886 |
例 服務接收者 and 有意圖的關係 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2708-2708 |
子類 ObjectAttitude and 有意圖的關係 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2694-2694 |
子類 PropositionalAttitude and 有意圖的關係 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30385-30385 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30384-30384 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30383-30383 |
|