VocationalSchool
|
|
appearance as argument number 1 |
(documentation VocationalSchool EnglishLanguage "Any School whose aim is to teach students an OccupationalTrade.") | Mid-level-ontology.kif 16732-16733 | |
(subclass VocationalSchool School) | Mid-level-ontology.kif 16731-16731 |
appearance as argument number 2 |
(termFormat ChineseLanguage VocationalSchool "职业学校") | domainEnglishFormat.kif 61859-61859 | |
(termFormat ChineseTraditionalLanguage VocationalSchool "職業學校") | domainEnglishFormat.kif 61858-61858 | |
(termFormat EnglishLanguage VocationalSchool "vocational school") | domainEnglishFormat.kif 61857-61857 |
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 16735-16747 |