Student(student)![]() | ![]() | art_student, assimilator, crammer, learner, scholar |
appearance as argument number 1 |
![]() |
(documentation Student EnglishLanguage "A person who participates in an EducationalProcess in order to learn something.") | Mid-level-ontology.kif 22128-22129 | |
(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 22127-22127 | Student is an instance of social role |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Student "学生") | domainEnglishFormat.kif 55665-55665 | |
(termFormat ChineseTraditionalLanguage Student "學生") | domainEnglishFormat.kif 55664-55664 | |
(termFormat EnglishLanguage Student "student") | domainEnglishFormat.kif 55663-55663 |
antecedent |
![]() |
(=> (attribute ?X Student) (exists (?EV) (and (instance ?EV EducationalProcess) (patient ?EV ?X)))) |
Mid-level-ontology.kif 22130-22135 |
|
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 16346-16355 |
|
![]() |
![]() |