| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22978-22978 |
例 同居 and 有意圖的關係 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23362-23362 |
例 國內的合作夥伴 and 有意圖的關係 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22943-22943 |
例 朋友 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 22876-22876 |
例 服務提供者 and 有意圖的關係 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22887-22887 |
例 服務接收者 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 |
|
