No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6662-6662 |
San dionisio del mar huave 是 huavean语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6672-6672 |
旧金山德尔马尔韦夫语言 是 huavean语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6685-6685 |
圣马特奥-德尔韦韦语言 是 huavean语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6697-6697 |
圣玛丽亚德尔马哈特语言 是 huavean语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28815-28815 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28814-28814 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28813-28813 |
|