| School(school)
| | direct-grant_school, finishing_school, school, school_system, schoolhouse |
| appearance as argument number 1 |
|
|
| (subclass School EducationalOrganization) | Mid-level-ontology.kif 18193-18193 | 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 18194-18196 | School is a subclass of educational organization |
| (externalImage School "http://upload.wikimedia.org/wikipedia/commons/8/8f/ Hutterer_Crystal_Schule2.jpg") | pictureList.kif 161-161 | School is a subclass of educational organization |
| (externalImage School "http://articulatesoftware.com/SUMOpictures/education/ school.png") | pictureList.kif 716-716 | School is a subclass of educational organization |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?STUDENT Student) (instance ?SCHOOL School) (attends ?STUDENT ?SCHOOL) (instance ?GRADUATE Graduation) (time ?TIMEINTERVAL1 ?GRADUATE) (agent ?GRADUATE ?SCHOOL) (patient ?GRADUATE ?STUDENT) (during ?TIMEINTERVAL1 (YearFn ?YEAR))) (expectedYearOfGraduation ?STUDENT (YearFn ?YEAR))) |
LinkedInDegrees.kif 457-468 | If All of the following hold: (1) X is an instance of student (2) Y is an instance of school (3) Y attends X (4) Z is an instance of graduation (5) W exists during Z (6) Y is an agent of Z (7) X is a patient of Z (8) W takes place during the year V, then expectedYearOfGraduation X and the year V |
| consequent |
|
|
| (=> (instance ?D Dormitory) (exists (?S) (and (instance ?S School) (possesses ?S ?D)))) |
Mid-level-ontology.kif 8163-8168 | 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 17100-17105 | 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 |
|
|
|