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 3780-3780 |
causes is internally related to causes subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13521-13521 |
causes is internally related to causes subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13520-13520 |
causes is internally related to causes subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13519-13519 |
causes is internally related to causes subclass |