No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14550-14550 |
AbkhazLanguage e' uma instancia de NorthCaucasianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14578-14578 |
AvarLanguage e' uma instancia de NorthCaucasianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14589-14589 |
ChechenLanguage e' uma instancia de NorthCaucasianLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40991-40991 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40990-40990 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40989-40989 |
|