No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11190-11190 |
子類 onondaga集團的語言 and 塞內卡onondaga語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11208-11208 |
子類 塞內卡卡尤加語 and 塞內卡onondaga語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52071-52071 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52070-52070 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52069-52069 |
|