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 | 例 易彎的 and InternalAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17835-17835 | 相反的屬性 硬性 and 易彎的 |
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 |
|