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

Formal Language: 



KB Term:  Term intersection
English Word: 

  student

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 16795-16796
(domain student 1 Human) Mid-level-ontology.kif 16793-16793 The number 1 argument of student is an instance of human
(domain student 2 EducationalOrganization) Mid-level-ontology.kif 16794-16794 The number 2 argument of student is an instance of educational organization
(instance student BinaryPredicate) Mid-level-ontology.kif 16792-16792 student is an instance of binary predicate
(subrelation student member) Mid-level-ontology.kif 16791-16791 student is a subrelation of member

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


(format ChineseLanguage student "%1 是 %2 的 student ") domainEnglishFormat.kif 4678-4678
(format ChineseTraditionalLanguage student "%1 是 %2 的 student ") domainEnglishFormat.kif 4677-4677
(format EnglishLanguage student "%1 is a student of %2") domainEnglishFormat.kif 4676-4676
(termFormat EnglishLanguage student "student") domainEnglishFormat.kif 65944-65944

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


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

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 18728-18737
(=>
    (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 18743-18753
(=>
    (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 18759-18769
(=>
    (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 18775-18785
(=>
    (instance ?DS DaySchool)
    (not
        (exists (?S)
            (and
                (student ?S ?DS)
                (home ?S ?DS)))))
Mid-level-ontology.kif 16783-16789
(=>
    (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 16708-16720


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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