No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14170-14170 |
例 ninam語言 and yanomami語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14185-14185 |
例 sanuma語言 and yanomami語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14198-14198 |
例 yanomami語言 and yanomami語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14209-14209 |
例 yanomamo語言 and yanomami語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63699-63699 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63698-63698 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63697-63697 |
|