No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14588-14588 |
ChamorroLanguage 是 奥地利语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14615-14615 |
FijianLanguage 是 奥地利语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14628-14628 |
IndonesianLanguage 是 奥地利语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14630-14630 |
JavaneseLanguage 是 奥地利语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14653-14653 |
MalagasyLanguage 是 奥地利语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14652-14652 |
MalayLanguage 是 奥地利语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14443-14443 |
MaoriLanguage 是 奥地利语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14649-14649 |
MarshalleseLanguage 是 奥地利语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14657-14657 |
NauruanLanguage 是 奥地利语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14675-14675 |
SamoanLanguage 是 奥地利语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14679-14679 |
SundaneseLanguage 是 奥地利语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14685-14685 |
TagalogLanguage 是 奥地利语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14681-14681 |
TahitianLanguage 是 奥地利语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14688-14688 |
TonganLanguage 是 奥地利语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9138-9138 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9137-9137 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9136-9136 |
|