No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11213-11213 |
例 cayuga語言 and 塞內卡卡尤加語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11223-11223 |
例 塞內卡語 and 塞內卡卡尤加語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52061-52061 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52060-52060 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52059-52059 |
|