No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3486-3486 |
Chinook wawa 语言 是 美洲印地语的洋泾浜语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3503-3503 |
Delaware pidgin 语言 是 美洲印地语的洋泾浜语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3510-3510 |
动员语言 是 美洲印地语的洋泾浜语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7224-7224 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7223-7223 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7222-7222 |
|