No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16687-16687 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6804-6804 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7679-7679 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7680-7680 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7681-7681 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7682-7682 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7683-7683 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7684-7684 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16686-16686 |
PublicSchool est une sous-classe de GovernmentOrganization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16685-16685 |
PublicSchool est une sous-classe de School |