| appearance as argument number 1 |
|
| (documentation student EnglishLanguage "(student ?AGENT ?ORG) means that ?AGENT is enrolled in the EducationalOrganization ?ORG.") | Mid-level-ontology.kif 16239-16240 | |
| (domain student 1 Human) | Mid-level-ontology.kif 16237-16237 | |
| (domain student 2 EducationalOrganization) | Mid-level-ontology.kif 16238-16238 | |
| (instance student BinaryPredicate) | Mid-level-ontology.kif 16236-16236 | |
| (subrelation student member) | Mid-level-ontology.kif 16235-16235 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage student "%1 是 %2 的 student ") | domainEnglishFormat.kif 4687-4687 | |
| (format ChineseTraditionalLanguage student "%1 是 %2 的 student ") | domainEnglishFormat.kif 4686-4686 | |
| (format EnglishLanguage student "%1 is a student of %2") | domainEnglishFormat.kif 4685-4685 |
| antecedent |
|
|
| (=> (student ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (destination ?PROCESS ?AGENT)))) |
Mid-level-ontology.kif 16242-16248 |
| 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 18103-18112 | |
| (=> (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 18118-18128 | |
| (=> (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 18134-18144 | |
| (=> (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 18150-18160 | |
| (=> (instance ?DS DaySchool) (not (exists (?S) (and (student ?S ?DS) (home ?S ?DS))))) |
Mid-level-ontology.kif 16227-16233 | |
| (=> (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 16152-16164 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners