VocationalSchool - Sigma Knowledge base Browser

appearance as argument number 1

(documentation VocationalSchool EnglishLanguage "Any School whose aim is to teach students an OccupationalTrade.")	Mid-level-ontology.kif 16923-16924
(subclass VocationalSchool School)	Mid-level-ontology.kif 16922-16922	Vocational school is a subclass of school

appearance as argument number 2

(termFormat ChineseLanguage VocationalSchool "职业学校")	domainEnglishFormat.kif 61905-61905
(termFormat ChineseTraditionalLanguage VocationalSchool "職業學校")	domainEnglishFormat.kif 61904-61904
(termFormat EnglishLanguage VocationalSchool "vocational school")	domainEnglishFormat.kif 61903-61903

antecedent

(=>
    (instance ?VS VocationalSchool)
    (hasPurpose ?VS
        (exists (?P ?S ?T)
            (and
                (instance ?P EducationalProcess)
                (eventLocated ?P ?VS)
                (student ?S ?VS)
                (experiencer ?P ?S)
                (instance ?T OccupationalTrade)
                (holdsDuring
                    (EndFn
                        (WhenFn ?P))
                    (attribute ?S ?T))))))

Mid-level-ontology.kif 16926-16938

If a physical is an instance of vocational school,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of educational process and the entity is located at the physical and the other entity is a student of the physical and the other entity experiences the entity and the third entity is an instance of occupational trade and the third entity is an attribute of the other entity holds during the end of the time of existence of the entity

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: