No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19668-19668 |
Fragile is an instance of breakability attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19672-19672 |
Unbreakable is an instance of breakability attribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11885-11885 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11884-11884 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11883-11883 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 473-473 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 509-509 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 474-474 |
|