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 16795-16796 | |
(domain student 1 Human) | Mid-level-ontology.kif 16793-16793 | |
(domain student 2 EducationalOrganization) | Mid-level-ontology.kif 16794-16794 | |
(instance student BinaryPredicate) | Mid-level-ontology.kif 16792-16792 | |
(subrelation student member) | Mid-level-ontology.kif 16791-16791 |
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 65944-65944 |
antecedent |
(=> (student ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (destination ?PROCESS ?AGENT)))) |
Mid-level-ontology.kif 16798-16804 |
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 18728-18737 | |
(=> (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 18743-18753 | |
(=> (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 18759-18769 | |
(=> (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 18775-18785 | |
(=> (instance ?DS DaySchool) (not (exists (?S) (and (student ?S ?DS) (home ?S ?DS))))) |
Mid-level-ontology.kif 16783-16789 | |
(=> (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 16708-16720 |