No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14662-14662 |
AnishinaabeLanguage e' uma instancia de AlgicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14609-14609 |
CreeLanguage e' uma sub-classe de AlgicLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6504-6504 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6503-6503 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6502-6502 |
|