CollegeFreshman(大学新生) |
appearance as argument number 1 |
(documentation CollegeFreshman EnglishLanguage "The Positions of a student at a PostSecondarySchool who has completed less than one year at the school.") | Mid-level-ontology.kif 18752-18753 | |
(externalImage CollegeFreshman "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Math_lecture_at_TKK.JPG") | pictureList.kif 8426-8426 | |
(instance CollegeFreshman CollegeStudentPosition) | Mid-level-ontology.kif 18751-18751 | 大学新生 是 大学生的位置 的 instance |
appearance as argument number 2 |
(termFormat ChineseLanguage CollegeFreshman "大学新生") | domainEnglishFormat.kif 15596-15596 | |
(termFormat ChineseTraditionalLanguage CollegeFreshman "大學新生") | domainEnglishFormat.kif 15595-15595 | |
(termFormat EnglishLanguage CollegeFreshman "college freshman") | domainEnglishFormat.kif 15594-15594 |
antecedent |
(=> (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 |