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 "A person who participates in an EducationalProcess in order to learn something.") Mid-level-ontology.kif 20406-20407
(externalImage Student "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ education/ kids/ students/ student.png") pictureList.kif 757-757
(instance Student SocialRole) Mid-level-ontology.kif 20405-20405

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


(termFormat EnglishLanguage Student "student") domainEnglishFormat.kif 9705-9705

appearance as argument number 3
-------------------------


(domain classmate 1 Student) LinkedInDegrees.kif 466-466
(domain classmate 2 Student) LinkedInDegrees.kif 467-467
(domain expectedYearOfGraduation 1 Student) LinkedInDegrees.kif 441-441

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


(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (AssociateDegreeFn ?FIELDOFSTUDY ?JC))
        (agent ?A ?JC)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?JC)))))
    (modalAttribute
        (equal ?INTERVAL
            (MeasureFn 2 YearDuration)) Likely))
LinkedInDegrees.kif 263-274
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (BachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (agent ?A ?SCHOOL)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)))))
    (modalAttribute
        (equal ?INTERVAL
            (MeasureFn 4 YearDuration)) Likely))
LinkedInDegrees.kif 291-303
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (BachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (agent ?A ?SCHOOL))
    (or
        (equal ?SCHOOL College)
        (equal ?SCHOOL University)))
LinkedInDegrees.kif 306-315
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (DoctorateDegreeFn ?FIELDOFSTUDY ?GRADSCHOOL))
        (agent ?A ?GRADSCHOOL)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)))))
    (and
        (greaterThan
            (MeasureFn 9 YearDuration) ?INTERVAL)
        (greaterThan ?INTERVAL
            (MeasureFn 1 YearDuration))))
LinkedInDegrees.kif 390-404
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (HonoraryBachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (agent ?A ?SCHOOL))
    (or
        (equal ?SCHOOL College)
        (equal ?SCHOOL University)))
LinkedInDegrees.kif 191-200
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (MasterDegreeFn ?FIELDOFSTUDY ?GRADSCHOOL))
        (agent ?A ?GRADSCHOOL)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)))))
    (modalAttribute
        (equal ?INTERVAL
            (MeasureFn 2 YearDuration)) Likely))
LinkedInDegrees.kif 335-347
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (SubstantiveDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (agent ?A ?SCHOOL)
        (exists (?INTERVAL)
            (instance ?INTERVAL TimeInterval)))
    (holdsDuring ?INTERVAL
        (attends ?S ?SCHOOL)))
LinkedInDegrees.kif 236-246
(=>
    (and
        (instance ?S Student)
        (instance ?GRADSCHOOL GraduateSchool)
        (attends ?S ?GRADSCHOOL)
        (expectedDegree ?S
            (DoctorateDegreeFn ?FIELDOFSTUDY3 ?GRADSCHOOL2)))
    (and
        (possesses ?S
            (BachelorDegreeFn ?FIELDOFSTUDY1 ?SCHOOL))
        (modalAttribute
            (possesses ?S
                (MasterDegreeFn ?FIELDOFSTUDY2 ?GRADSCHOOL1)) Likely)))
LinkedInDegrees.kif 377-386
(=>
    (and
        (instance ?S Student)
        (instance ?GRADSCHOOL GraduateSchool)
        (attends ?S ?GRADSCHOOL)
        (expectedDegree ?S
            (MasterDegreeFn ?FIELDOFSTUDY1 ?GRADSCHOOL)))
    (possesses ?S
        (BachelorDegreeFn ?FIELDOFSTUDY2 ?SCHOOL)))
LinkedInDegrees.kif 351-357
(=>
    (and
        (instance ?S Student)
        (instance ?SCHOOL PostSecondarySchool)
        (attends ?S ?SCHOOL))
    (expectedDegree ?S
        (DegreeFn ?FIELDOFSTUDY ?SCHOOL)))
LinkedInDegrees.kif 67-72
(=>
    (and
        (instance ?STUDENT Student)
        (instance ?SCHOOL School)
        (attends ?STUDENT ?SCHOOL)
        (instance ?GRADUATE Graduation)
        (exists (?YEAR ?TIMEINTERVAL1)
            (and
                (instance ?YEAR Year)
                (time ?TIMEINTERVAL1 ?GRADUATE)
                (agent ?GRADUATE ?SCHOOL)
                (patient ?GRADUATE ?STUDENT)
                (during ?TIMEINTERVAL1 ?YEAR))))
    (expectedYearOfGraduation ?STUDENT
        (YearFn ?YEAR)))
LinkedInDegrees.kif 447-460
(=>
    (and
        (instance ?STUDENT1 Student)
        (instance ?STUDENT2 Student)
        (instance ?SCHOOL School)
        (attends ?STUDENT1 ?SCHOOL)
        (attends ?STUDENT2 ?SCHOOL)
        (instance ?YEAR Year)
        (expectedYearOfGraduation ?STUDENT1
            (YearFn ?YEAR))
        (expectedYearOfGraduation ?STUDENT2
            (YearFn ?YEAR)))
    (classmate ?STUDENT1 ?STUDENT2))
LinkedInDegrees.kif 473-483
(=>
    (attribute ?X Student)
    (exists (?EV)
        (and
            (instance ?EV EducationalProcess)
            (patient ?EV ?X))))
Mid-level-ontology.kif 20408-20413

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


(=>
    (almaMater ?PERSON ?SCHOOL)
    (exists (?EV)
        (and
            (instance ?EV EducationalProcess)
            (destination ?EV ?PERSON)
            (eventLocated ?EV ?SCHOOL)
            (holdsDuring
                (WhenFn ?EV)
                (attribute ?PERSON Student)))))
Mid-level-ontology.kif 14408-14417
(=>
    (and
        (instance ?AWARD AwardingADegree)
        (instance ?PERSON Human)
        (instance ?SCHOOL PostSecondarySchool)
        (patient ?AWARD ?PERSON)
        (agent ?AWARD ?SCHOOL))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?AWARD))
            (attribute ?PERSON Student))
        (holdsDuring
            (EndFn
                (WhenFn ?AWARD))
            (possesses ?PERSON AcademicDegree))
        (equal
            (WhenFn ?AWARD) Graduation)))
LinkedInDegrees.kif 37-53
(=>
    (and
        (instance ?H Human)
        (instance ?A AwardingADegree)
        (patient ?A
            (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (destination ?A ?H)
        (agent ?A ?SCHOOL)
        (exists (?INTERVAL)
            (instance ?INTERVAL TimeInterval)))
    (and
        (not
            (modalAttribute
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)) Necessity))
        (modalAttribute
            (attribute ?H Student) Unlikely)))
LinkedInDegrees.kif 115-129


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners