No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11093-11093 |
LowerSorbianLanguage e' uma instancia de SorbianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11105-11105 |
UpperSorbianLanguage e' uma instancia de SorbianLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53970-53970 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53969-53969 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53968-53968 |
|