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 | 子類 Transfer and 易位 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11366-11366 | 子類 攜帶 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5520-5520 | 子類 換衣服 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 526-526 | 子類 DeliveryService and Transfer |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2382-2382 | 子類 ElectricTransmission and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11468-11468 | 子類 Impelling and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10247-10247 | 子類 Ingesting and Transfer |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1169-1169 | 子類 IntraosseousInfusion and Transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6647-6647 | 子類 郵件 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6651-6651 | 子類 訊息 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18055-18055 | 子類 搬家 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17534-17534 | 子類 澆注 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11399-11399 | 子類 Putting and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11518-11518 | 子類 釋放 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11378-11378 | 子類 Removing and Transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17603-17603 | 子類 噴 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11448-11448 | 子類 Substituting and Transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6588-6588 | 子類 Swallowing and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11480-11480 | 子類 Touching and Transfer |
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 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11332-11332 | 域 objectTransferred, 1 and Transfer |
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 |