No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7660-7660 |
Eastern frisian language is an instance of frisian language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7675-7675 |
Northern frisian language is an instance of frisian language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7701-7701 |
Western frisian language is an instance of frisian language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25064-25064 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25063-25063 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25062-25062 |
|