|
|
  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 22596-22597 | |
| (externalImage Student "http://articulatesoftware.com/SUMOpictures/education/ kids/ students/ student.png") | pictureList.kif 757-757 | |
| (instance Student SocialRole) | Mid-level-ontology.kif 22595-22595 | Student e' uma instancia de Role Social |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Student "学生") | domainEnglishFormat.kif 55686-55686 | |
| (termFormat ChineseTraditionalLanguage Student "學生") | domainEnglishFormat.kif 55685-55685 | |
| (termFormat EnglishLanguage Student "student") | domainEnglishFormat.kif 55684-55684 |
| antecedent |
|
|
| (=> (attribute ?X Student) (exists (?EV) (and (instance ?EV EducationalProcess) (patient ?EV ?X)))) |
Mid-level-ontology.kif 22598-22603 |
| 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 16851-16860 |
|
| (=> (instance ?X SchoolBuilding) (exists (?L ?P) (and (instance ?L Learning) (patient ?L ?P) (attribute ?P Student) (eventLocated ?L ?X)))) |
Mid-level-ontology.kif 22492-22499 |
|
|
|
