MolengueLanguage(molengue language) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4257-4263 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4256-4256 | Molengue language is an instance of unclassified spoken language |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38283-38283 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38282-38282 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38281-38281 |