objectTransferred |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11335-11337 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11332-11332 | objectTransferred 的 1 数量 是 转移 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11333-11333 | objectTransferred 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11330-11330 | objectTransferred 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11331-11331 | objectTransferred 是 受事 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11334-11334 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30761-30761 | passenger 是 objectTransferred 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65887-65887 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18679-18695 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3179-3194 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1717-1733 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3893-3903 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3905-3921 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1563-1575 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1545-1554 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9774-9795 |
|
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 88-99 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3628-3644 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4135-4145 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4123-4133 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6532-6543 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11352-11357 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11359-11364 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1986-1995 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 853-875 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1089-1103 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11339-11350 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2162-2175 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 871-885 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3179-3194 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6056-6075 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1129-1139 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6122-6140 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1275-1296 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11368-11385 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11915-11932 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2182-2190 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2166-2174 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6532-6543 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9278-9288 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1664-1676 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6595-6607 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6567-6577 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3826-3840 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 895-917 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11352-11357 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11359-11364 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3217-3229 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30956-30971 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30923-30938 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30973-30987 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30940-30954 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3309-3315 | IBookstore 的 目的 是 有存在 ?D 这样 ?D 是 下載 的 instance 和 iBookstore 是导致 ?D 的 instrument 和 ?T 是 文本 的 instance 和 objectTransferred ?D and ?T |