No TPTP formula. May not be expressible in strict first order. | Merge.kif 11292-11292 | 子類 Transfer and 易位 |
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. | Mid-level-ontology.kif 6588-6588 | 子類 Swallowing 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 17534-17534 | 子類 澆注 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. | Mid-level-ontology.kif 18055-18055 | 子類 搬家 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. | Merge.kif 11366-11366 | 子類 攜帶 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. | Merge.kif 11399-11399 | 子類 Putting 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. | Merge.kif 11468-11468 | 子類 Impelling 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. | Merge.kif 11518-11518 | 子類 釋放 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 2382-2382 | 子類 ElectricTransmission and Transfer |