| appearance as argument number 1 |
|
| (documentation student EnglishLanguage "(student ?AGENT ?ORG) means that ?AGENT is enrolled in the EducationalOrganization ?ORG.") | Mid-level-ontology.kif 16794-16795 | |
| (domain student 1 Human) | Mid-level-ontology.kif 16792-16792 | |
| (domain student 2 EducationalOrganization) | Mid-level-ontology.kif 16793-16793 | |
| (instance student BinaryPredicate) | Mid-level-ontology.kif 16791-16791 | |
| (subrelation student member) | Mid-level-ontology.kif 16790-16790 |
| 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 16797-16803 |
| 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 18727-18736 | |
| (=> (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 18742-18752 | |
| (=> (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 18758-18768 | |
| (=> (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 18774-18784 | |
| (=> (instance ?DS DaySchool) (not (exists (?S) (and (student ?S ?DS) (home ?S ?DS))))) |
Mid-level-ontology.kif 16782-16788 | |
| (=> (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 16707-16719 |
|
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