|
|
   EducationalOrganization
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3747-3748 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16754-16756 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16753-16753 | �cole Est une sous-classe de organisation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8462-8462 | Library est une sous-classe de �cole |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8492-8492 | Museum est une sous-classe de �cole |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16652-16652 | School est une sous-classe de �cole |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1071-1071 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1353-1353 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 749-749 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 281-281 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 284-284 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2433-2433 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 701-701 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 320-320 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 770-770 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 285-285 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16793-16793 | Le nombre 2 argument de student est une instance de �cole |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16865-16865 | Le nombre 2 argument de teacher est une instance de �cole |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1010-1014 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10724-10728 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10735-10739 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16630-16637 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22580-22585 |
|
|
|
|