DaySchool - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DaySchool School)	Mid-level-ontology.kif 18392-18392	Day school is a subclass of school
(documentation DaySchool EnglishLanguage "A School that does not board its students, i.e. students attend classes during the day and then return to a private residence for the night.")	Mid-level-ontology.kif 18393-18395	Day school is a subclass of school

appearance as argument number 2

(termFormat EnglishLanguage DaySchool "day school")	domainEnglishFormat.kif 18696-18696
(termFormat ChineseTraditionalLanguage DaySchool "日間學校")	domainEnglishFormat.kif 18697-18697
(termFormat ChineseLanguage DaySchool "日间学校")	domainEnglishFormat.kif 18698-18698

antecedent

(=>
    (instance ?DS DaySchool)
    (not
        (exists (?S)
            (and
                (student ?S ?DS)
                (home ?S ?DS)))))

If X is an instance of day school, then there doesn't exist Y such that Y is a student of X and the home of Y is X