No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14636-14636 |
Khmer language is an instance of austro asiatic language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14692-14692 |
Vietnamese language is an instance of austro asiatic language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9132-9132 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9131-9131 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9130-9130 |
|