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 16822-16823
(domain student 1 Human) Mid-level-ontology.kif 16820-16820
(domain student 2 EducationalOrganization) Mid-level-ontology.kif 16821-16821
(instance student BinaryPredicate) Mid-level-ontology.kif 16819-16819
(subrelation student member) Mid-level-ontology.kif 16818-16818

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 65946-65946

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


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

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 18755-18764
(=>
    (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 18770-18780
(=>
    (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 18786-18796
(=>
    (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 18802-18812
(=>
    (instance ?DS DaySchool)
    (not
        (exists (?S)
            (and
                (student ?S ?DS)
                (home ?S ?DS)))))		 Mid-level-ontology.kif 16810-16816
(=>
    (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 16735-16747


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