No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11302-11302 |
SusquehannockLanguage e' uma instancia de IroquoianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11129-11129 |
NorthernIroquoianLanguage e' uma sub-classe de IroquoianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11277-11277 |
SouthernIroquoianLanguage e' uma sub-classe de IroquoianLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31087-31087 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31086-31086 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31085-31085 |
|