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 17633-17634
(subclass VocationalSchool School)	Mid-level-ontology.kif 17632-17632	Vocational school is a subclass of school

appearance as argument number 2

(termFormat ChineseLanguage VocationalSchool "职业学校")	domainEnglishFormat.kif 61880-61880
(termFormat ChineseTraditionalLanguage VocationalSchool "職業學校")	domainEnglishFormat.kif 61879-61879
(termFormat EnglishLanguage VocationalSchool "vocational school")	domainEnglishFormat.kif 61878-61878

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 17636-17648

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: