No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11302-11302 |
SusquehannockLanguage est une instance de IroquoianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11129-11129 |
NorthernIroquoianLanguage est une sous-classe de IroquoianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11277-11277 |
SouthernIroquoianLanguage est une sous-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 |
|