Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  School

 Sigma KEE - School
School(school)
direct-grant_school, finishing_school, school, school_system, schoolhouse

appearance as argument number 1
-------------------------


(subclass School EducationalOrganization) Mid-level-ontology.kif 18267-18267 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 18268-18270 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
-------------------------


(subclass PublicSchool School) Mid-level-ontology.kif 18272-18272 Public school is a subclass of school
(subclass PrivateSchool School) Mid-level-ontology.kif 18276-18276 Private school is a subclass of school
(subclass HighSchool School) Mid-level-ontology.kif 18280-18280 High school is a subclass of school
(subclass SecondarySchool School) Mid-level-ontology.kif 18299-18299 Secondary school is a subclass of school
(subclass VocationalSchool School) Mid-level-ontology.kif 18318-18318 Vocational school is a subclass of school
(subclass PostSecondarySchool School) Mid-level-ontology.kif 18336-18336 Post secondary school is a subclass of school
(subclass ArtSchool School) Mid-level-ontology.kif 18376-18376 Art school is a subclass of school
(subclass DaySchool School) Mid-level-ontology.kif 18392-18392 Day school is a subclass of school
(termFormat EnglishLanguage School "school") domainEnglishFormat.kif 51544-51544 Day school is a subclass of school
(termFormat ChineseTraditionalLanguage School "學校") domainEnglishFormat.kif 51545-51545 Day school is a subclass of school
(termFormat ChineseLanguage School "学校") domainEnglishFormat.kif 51546-51546 Day school is a subclass of school

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 450-461 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 8300-8305 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 17197-17202 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


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners