No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14632-14632 |
Kannada language is an instance of dravidian language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14650-14650 |
Malayalam language is an instance of dravidian language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14682-14682 |
Tamil language is an instance of dravidian language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14684-14684 |
Telugu language is an instance of dravidian language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20346-20346 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20345-20345 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20344-20344 |
|