No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13860-13860 |
Kao language is an instance of kao river language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13871-13871 |
Modole language is an instance of kao river language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13881-13881 |
Pagu language is an instance of kao river language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32113-32113 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32112-32112 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32111-32111 |
|