No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8679-8681 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11112-11112 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11117-11117 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11116-11116 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11114-11114 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11115-11115 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8678-8678 |
GujaratiGroupLanguage est une sous-classe de CentralZoneIndoAryanLanguage |