School(school)![]() ![]() | ![]() | direct-grant_school, finishing_school, school, school_system, schoolhouse |
appearance as argument number 1 |
![]() |
(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 17582-17584 | |
(externalImage School "http://articulatesoftware.com/SUMOpictures/education/ school.png") | pictureList.kif 716-716 | |
(externalImage School "http://upload.wikimedia.org/wikipedia/commons/8/8f/ Hutterer_Crystal_Schule2.jpg") | pictureList.kif 161-161 | |
(subclass School EducationalOrganization) | Mid-level-ontology.kif 17581-17581 | 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 7757-7762 | |
(=> (instance ?R Classroom) (exists (?S) (and (instance ?S School) (part ?R ?S)))) |
Mid-level-ontology.kif 16526-16531 |
|
![]() |
![]() |