No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1077-1077 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1076-1076 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1075-1075 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5434-5434 |
子關係 支流 and 流動 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24356-24356 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24355-24355 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24354-24354 |
|