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 | Pliable is an instance of internal attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17835-17835 | Rigid is the opposite of pliable |
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 |
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 |
|