No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7149-7150 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7155-7156 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9969-9969 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10785-10785 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10787-10787 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10788-10788 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10786-10786 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7148-7148 |
DanishBokmalLanguage est une sous-classe de DanishSwedishLanguage |