No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23030-23030 |
同居 是 有意图的关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23414-23414 |
国内的合作伙伴 是 有意图的关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22995-22995 |
朋友 是 有意图的关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2722-2722 |
感兴趣 是 有意图的关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2685-2685 |
拥有 是 有意图的关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22928-22928 |
服务供应者 是 有意图的关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22939-22939 |
受服务者 是 有意图的关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2708-2708 |
对象态度 是 有意图的关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2694-2694 |
命题态度 是 有意图的关系 的 subclass |
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 |
|