No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11302-11302 |
Susquehannock语言 是 iroquoian语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11129-11129 |
北方的iroquoian语言 是 iroquoian语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11277-11277 |
南方的易洛魁语言 是 iroquoian语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31087-31087 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31086-31086 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31085-31085 |
|