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 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 |
|