No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7257-7289 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8024-8024 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6910-6910 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8025-8025 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8021-8021 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8026-8026 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8027-8027 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8022-8022 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8023-8023 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7256-7256 |
SwedishLanguage e' uma instancia de SwedishGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19287-19287 |
|