No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12960-12960 |
KrisaGroupLanguage e' uma sub-classe de SkoLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12997-12997 |
VanimoGroupLanguage e' uma sub-classe de SkoLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53330-53330 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53329-53329 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53328-53328 |
|