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 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11333-11333 | 域 objectTransferred, 2 and Object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11330-11330 | 例 objectTransferred and CaseRole |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11331-11331 | 子關係 objectTransferred and 患者 |
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 and objectTransferred |
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 and ?D 例 ?D and 下載 儀器 ?D and iBookstore 例 ?T and Text objectTransferred ?D and ?T |