|
|
   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 | 子類 EducationalOrganization and Organization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8462-8462 | 子類 圖書館 and EducationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8492-8492 | 子類 博物館 and EducationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16652-16652 | 子類 學校 and EducationalOrganization |
| 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 | 域 student, 2 and EducationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16865-16865 | 域 teacher, 2 and EducationalOrganization |
| 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 |
|
|
|