Transfer(转移) more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4066-4066 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11294-11295 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1795-1796 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12019-12019 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12022-12022 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12023-12023 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12020-12020 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12024-12024 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12025-12025 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12018-12018 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12021-12021 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11292-11292 | 转移 是 易位 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11366-11366 | 携带 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5520-5520 | 换衣服 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 526-526 | DeliveryService 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2382-2382 | ElectricTransmission 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11468-11468 | 驱动 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10247-10247 | 消化 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1169-1169 | IntraosseousInfusion 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6647-6647 | 邮件 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6651-6651 | 讯息 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18055-18055 | 搬家 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17534-17534 | 浇注 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11399-11399 | 放 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11518-11518 | 释放 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11378-11378 | 移除 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17603-17603 | 喷 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11448-11448 | 代替 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6588-6588 | Swallowing 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11480-11480 | 接触 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1119-1119 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1455-1455 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 797-797 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 329-329 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 332-332 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2481-2481 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29772-29772 | beforeOnPath 的 4 数量 是 转移 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11332-11332 | objectTransferred 的 1 数量 是 转移 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29779-29788 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11108-11118 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11141-11151 | |
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. | Cars.kif 4046-4061 |
|
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. | Merge.kif 11297-11303 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11157-11172 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11125-11135 |
consequent |
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. | Mid-level-ontology.kif 9964-9976 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1916-1929 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 949-964 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 973-983 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4461-4470 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2629-2645 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2665-2673 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2540-2555 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1000-1011 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11341-11348 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2690-2703 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3303-3313 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3262-3277 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3818-3834 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9507-9519 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9546-9557 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1527-1535 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 914-925 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11082-11089 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4669-4680 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2769-2777 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29801-29810 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29823-29832 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29790-29799 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |