Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  School

Sigma KEE - 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 14254-14256
(externalImage School "http://upload.wikimedia.org/wikipedia/commons/8/8f/ Hutterer-Crystal_Schule2.jpg") pictureList.kif 161-161
(externalImage School "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ education/ school.png") pictureList.kif 716-716
(subclass School EducationalOrganization) Mid-level-ontology.kif 14253-14253

appearance as argument number 2
-------------------------


(subclass ArtSchool School) Mid-level-ontology.kif 14361-14361
(subclass DaySchool School) Mid-level-ontology.kif 14376-14376
(subclass HighSchool School) Mid-level-ontology.kif 14266-14266
(subclass PostSecondarySchool School) Mid-level-ontology.kif 14322-14322
(subclass PrivateSchool School) Mid-level-ontology.kif 14262-14262
(subclass PublicSchool School) Mid-level-ontology.kif 14258-14258
(subclass SecondarySchool School) Mid-level-ontology.kif 14285-14285
(subclass VocationalSchool School) Mid-level-ontology.kif 14304-14304
(termFormat EnglishLanguage School "school") domainEnglishFormat.kif 9015-9015

antecedent
-------------------------


(=>
    (and
        (instance ?STUDENT Student)
        (instance ?SCHOOL School)
        (attends ?STUDENT ?SCHOOL)
        (instance ?GRADUATE Graduation)
        (exists (?YEAR ?TIMEINTERVAL1)
            (and
                (instance ?YEAR Year)
                (time ?TIMEINTERVAL1 ?GRADUATE)
                (agent ?GRADUATE ?SCHOOL)
                (patient ?GRADUATE ?STUDENT)
                (during ?TIMEINTERVAL1 ?YEAR))))
    (expectedYearOfGraduation ?STUDENT
        (YearFn ?YEAR)))
LinkedInDegrees.kif 447-460
(=>
    (and
        (instance ?STUDENT1 Student)
        (instance ?STUDENT2 Student)
        (instance ?SCHOOL School)
        (attends ?STUDENT1 ?SCHOOL)
        (attends ?STUDENT2 ?SCHOOL)
        (instance ?YEAR Year)
        (expectedYearOfGraduation ?STUDENT1
            (YearFn ?YEAR))
        (expectedYearOfGraduation ?STUDENT2
            (YearFn ?YEAR)))
    (classmate ?STUDENT1 ?STUDENT2))
LinkedInDegrees.kif 473-483

consequent
-------------------------


(=>
    (instance ?D Dormitory)
    (exists (?S)
        (and
            (instance ?S School)
            (possesses ?S ?D))))
Mid-level-ontology.kif 6643-6648
(=>
    (instance ?R Classroom)
    (exists (?S)
        (and
            (instance ?S School)
            (part ?R ?S))))
Mid-level-ontology.kif 13278-13283


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners