No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 396-396 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 395-395 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 394-394 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3781-3781 |
causes e' relacionado internamente por SUMO a causesSubclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13512-13512 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13511-13511 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13510-13510 |
|