No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12668-12668 |
CatawbaGroupLanguage e' uma sub-classe de SiouanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12683-12683 |
SiouanProperLanguage e' uma sub-classe de SiouanLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53216-53216 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53215-53215 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53214-53214 |
|