| appearance as argument number 1 |
|
| (documentation classmate EnglishLanguage "(classmate ?A1 ?A2 ?COURSE) means that both ?A1 and ?A2 were a GroupOfPeople who were taught under the same EducationalCourse (?COURSE).") | Mid-level-ontology.kif 18220-18221 | |
| (domain classmate 1 Human) | Mid-level-ontology.kif 18217-18217 | |
| (domain classmate 2 Human) | Mid-level-ontology.kif 18218-18218 | |
| (domain classmate 3 EducationalCourse) | Mid-level-ontology.kif 18219-18219 | |
| (instance classmate IrreflexiveRelation) | Mid-level-ontology.kif 18216-18216 | |
| (instance classmate TernaryPredicate) | Mid-level-ontology.kif 18215-18215 |
| appearance as argument number 2 |
|
|
| (format ChineseTraditionalLanguage classmate "%1 和 %2 曾經一起參與同一學習過程 %3 ") | domainEnglishFormat.kif 64329-64329 | |
| (format EnglishLanguage classmate "%1 and %2 were taught in the same EducationalProcess %3 together") | domainEnglishFormat.kif 64328-64328 | |
| (termFormat ChineseTraditionalLanguage classmate "同學關係") | domainEnglishFormat.kif 64327-64327 | |
| (termFormat EnglishLanguage classmate "classmate") | domainEnglishFormat.kif 64326-64326 |
| antecedent |
|
|
| (=> (classmate ?A1 ?A2 ?COURSE) (exists (?CLASS ?EDU ?TIME) (and (instance ?CLASS GroupOfPeople) (instance ?EDU EducationalProcess) (realization ?EDU ?COURSE) (patient ?EDU ?CLASS) (temporalPart ?TIME (WhenFn ?EDU)) (memberAtTime ?A1 ?CLASS ?TIME) (memberAtTime ?A1 ?CLASS ?TIME)))) |
Mid-level-ontology.kif 18223-18234 |
|
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