Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - student
student

appearance as argument number 1
-------------------------


(documentation student EnglishLanguage "(student ?AGENT ?ORG) means that ?AGENT is enrolled in the EducationalOrganization ?ORG.") Mid-level-ontology.kif 18182-18183
(domain student 1 Human) Mid-level-ontology.kif 18180-18180 The number 1 argument of student is an instance of human
(domain student 2 EducationalOrganization) Mid-level-ontology.kif 18181-18181 The number 2 argument of student is an instance of educational organization
(instance student BinaryPredicate) Mid-level-ontology.kif 18179-18179 student is an instance of binary predicate
(subrelation student member) Mid-level-ontology.kif 18178-18178 student is a subrelation of member

appearance as argument number 2
-------------------------


(format ChineseLanguage student "%1 是 %2 的 student ") domainEnglishFormat.kif 4682-4682
(format ChineseTraditionalLanguage student "%1 是 %2 的 student ") domainEnglishFormat.kif 4681-4681
(format EnglishLanguage student "%1 is a student of %2") domainEnglishFormat.kif 4680-4680
(termFormat EnglishLanguage student "student") domainEnglishFormat.kif 65971-65971

antecedent
-------------------------


(=>
    (student ?AGENT ?ORG)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS EducationalProcess)
            (eventLocated ?PROCESS ?ORG)
            (destination ?PROCESS ?AGENT))))
Mid-level-ontology.kif 18185-18191

consequent
-------------------------


(=>
    (and
        (attribute ?P CollegeFreshman)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (lessThan ?T 1))))
Mid-level-ontology.kif 20299-20308
(=>
    (and
        (attribute ?P CollegeJunior)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T 2)
            (lessThan ?T 3))))
Mid-level-ontology.kif 20314-20324
(=>
    (and
        (attribute ?P CollegeSenior)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T 3)
            (lessThan ?T 4))))
Mid-level-ontology.kif 20330-20340
(=>
    (and
        (attribute ?P CollegeSophomore)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T 1)
            (lessThan ?T 2))))
Mid-level-ontology.kif 20346-20356
(=>
    (instance ?DS DaySchool)
    (not
        (exists (?S)
            (and
                (student ?S ?DS)
                (home ?S ?DS)))))
Mid-level-ontology.kif 18170-18176
(=>
    (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 18095-18107


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