No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3337-3340 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10609-10609 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10607-10607 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10611-10611 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10610-10610 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10608-10608 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9936-9936 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3336-3336 |
ChineseTibetanMongolianMixedLanguage e' uma sub-classe de MixedLanguage |