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 16794-16795
(domain student 1 Human) Mid-level-ontology.kif 16792-16792 Le nombre 1 argument de student est une instance de humain
(domain student 2 EducationalOrganization) Mid-level-ontology.kif 16793-16793 Le nombre 2 argument de student est une instance de �cole
(instance student BinaryPredicate) Mid-level-ontology.kif 16791-16791 student est une instance de pr�dicat binaire
(subrelation student member) Mid-level-ontology.kif 16790-16790 student est une sous-relation de 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 16797-16803

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 18727-18736
(=>
    (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 18742-18752
(=>
    (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 18758-18768
(=>
    (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 18774-18784
(=>
    (instance ?DS DaySchool)
    (not
        (exists (?S)
            (and
                (student ?S ?DS)
                (home ?S ?DS)))))		 Mid-level-ontology.kif 16782-16788
(=>
    (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 16707-16719


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