Pliable(易弯的) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3962-3962 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17822-17823 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17821-17821 | 易弯的 是 内在属性 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17835-17835 | 硬性 是 易弯的 的相反 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46292-46292 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46291-46291 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46290-46290 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4272-4284 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4286-4299 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17825-17832 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3574-3576 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4452-4454 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2298-2300 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4248-4251 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4783-4785 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4587-4589 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4621-4635 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4260-4270 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3652-3658 |