No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6165-6165 |
Oro win language is an instance of madeira language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6175-6175 |
Pakaasnovos language is an instance of madeira language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6183-6183 |
Tora language is an instance of madeira language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35579-35579 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35578-35578 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35577-35577 |
|