No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3486-3486 |
例 chinook wawa 語言 and 美洲印地語的洋涇浜語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3503-3503 |
例 delaware pidgin 語言 and 美洲印地語的洋涇浜語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3510-3510 |
例 動員語言 and 美洲印地語的洋涇浜語言 |
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 |
|