| 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 17031-17032 | |
| (domain classmate 1 Human) | Mid-level-ontology.kif 17028-17028 | |
| (domain classmate 2 Human) | Mid-level-ontology.kif 17029-17029 | |
| (domain classmate 3 EducationalCourse) | Mid-level-ontology.kif 17030-17030 | |
| (instance classmate IrreflexiveRelation) | Mid-level-ontology.kif 17027-17027 | |
| (instance classmate TernaryPredicate) | Mid-level-ontology.kif 17026-17026 |
| appearance as argument number 2 |
|
|
| (format ChineseTraditionalLanguage classmate "%1 和 %2 曾經一起參與同一學習過程 %3 ") | domainEnglishFormat.kif 64331-64331 | |
| (format EnglishLanguage classmate "%1 and %2 were taught in the same EducationalProcess %3 together") | domainEnglishFormat.kif 64330-64330 | |
| (termFormat ChineseTraditionalLanguage classmate "同學關係") | domainEnglishFormat.kif 64329-64329 | |
| (termFormat EnglishLanguage classmate "classmate") | domainEnglishFormat.kif 64328-64328 |
| 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 17034-17045 |
|
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