| School(school) | | direct-grant_school, finishing_school, school, school_system, schoolhouse |
| appearance as argument number 1 |
|
|
| (subclass School EducationalOrganization) | Mid-level-ontology.kif 18221-18221 | School is a subclass of educational organization |
| (documentation School EnglishLanguage "An EducationalOrganization with a curriculum, teachers, and students. Most Schools are housed in a Building dedicated to the EducationalOrganization.") | Mid-level-ontology.kif 18222-18224 | School is a subclass of educational organization |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?D Dormitory) (exists (?S) (and (instance ?S School) (possesses ?S ?D)))) |
Mid-level-ontology.kif 8262-8267 | If X is an instance of dormitory, then there exists Y such that Y is an instance of school and Y possesses X |
| (=> (instance ?R Classroom) (exists (?S) (and (instance ?S School) (part ?R ?S)))) |
Mid-level-ontology.kif 17151-17156 | If X is an instance of classroom, then there exists Y such that Y is an instance of school and X is a part of Y |
|
|
|