almaMater - Sigma Knowledge base Browser

appearance as argument number 1

(documentation almaMater EnglishLanguage "(almaMater ?PERSON ?ORG) means that ?PERSON enrolled for a higher degree at insititution ?ORG, in principle to complete an academic degree.")	Mid-level-ontology.kif 18464-18465
(domain almaMater 1 Human)	Mid-level-ontology.kif 18466-18466	The number 1 argument of Alma Mater is an instance of human
(domain almaMater 2 PostSecondarySchool)	Mid-level-ontology.kif 18467-18467	The number 2 argument of Alma Mater is an instance of post secondary school
(instance almaMater BinaryPredicate)	Mid-level-ontology.kif 18468-18468	Alma Mater is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage almaMater "%1's almaMater is %n %2")	domainEnglishFormat.kif 130-130
(format ChineseTraditionalLanguage almaMater "%1 的 almaMater %n 是 %2")	domainEnglishFormat.kif 131-131
(format ChineseLanguage almaMater "%1 的 almaMater %n 是 %2")	domainEnglishFormat.kif 132-132
(termFormat EnglishLanguage almaMater "Alma Mater")	domainEnglishFormat.kif 6959-6959
(termFormat ChineseTraditionalLanguage almaMater "母校")	domainEnglishFormat.kif 6960-6960
(termFormat ChineseLanguage almaMater "母校")	domainEnglishFormat.kif 6961-6961

antecedent

(=>
    (almaMater ?PERSON ?SCHOOL)
    (exists (?EV)
        (and
            (instance ?EV EducationalProcess)
            (destination ?EV ?PERSON)
            (eventLocated ?EV ?SCHOOL)
            (holdsDuring
                (WhenFn ?EV)
                (attribute ?PERSON Student)))))

If X's almaMater is Y, then there exists Z such that Z is an instance of educational process, Z ends up at X, Z is located at Y, and student is an attribute of X holds during the time of existence of Z