No TPTP formula. May not be expressible in strict first order. | Merge.kif 11314-11314 | 子類 Transfer and 易位 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5519-5519 | 子類 換衣服 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6587-6587 | 子類 Swallowing and Transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6646-6646 | 子類 郵件 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6650-6650 | 子類 訊息 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17533-17533 | 子類 澆注 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17602-17602 | 子類 噴 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18054-18054 | 子類 搬家 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10269-10269 | 子類 Ingesting and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11388-11388 | 子類 攜帶 and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11400-11400 | 子類 Removing and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11421-11421 | 子類 Putting and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11470-11470 | 子類 Substituting and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11490-11490 | 子類 Impelling and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11502-11502 | 子類 Touching and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11540-11540 | 子類 釋放 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. | Dining.kif 526-526 | 子類 DeliveryService and Transfer |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2388-2388 | 子類 ElectricTransmission and Transfer |