No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19695-19695 |
Fragile e' uma instancia de BreakabilityAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19699-19699 |
Unbreakable e' uma instancia de BreakabilityAttribute |
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 |
|