No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14170-14170 |
Ninam language is an instance of yanomam language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14185-14185 |
Sanuma language is an instance of yanomam language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14198-14198 |
Yanomami language is an instance of yanomam language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14209-14209 |
Yanomamo language is an instance of yanomam language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63697-63697 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63696-63696 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63695-63695 |
|