Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| classmate |
| appearance as argument number 1 |
|
| (instance classmate TernaryPredicate) | Mid-level-ontology.kif 18422-18422 | classmate is an instance of ternary predicate |
| (domain classmate 1 Human) | Mid-level-ontology.kif 18423-18423 | The number 1 argument of classmate is an instance of human |
| (domain classmate 2 Human) | Mid-level-ontology.kif 18424-18424 | The number 2 argument of classmate is an instance of human |
| (domain classmate 3 EducationalCourse) | Mid-level-ontology.kif 18425-18425 | The number 3 argument of classmate is an instance of educational course |
| (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 18426-18427 | The number 3 argument of classmate is an instance of educational course |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage classmate "classmate") | domainEnglishFormat.kif 64306-64306 | |
| (termFormat ChineseTraditionalLanguage classmate "同學關係") | domainEnglishFormat.kif 64307-64307 | |
| (format EnglishLanguage classmate "%1 and %2 were taught in the same EducationalProcess %3 together") | domainEnglishFormat.kif 64308-64308 | |
| (format ChineseTraditionalLanguage classmate "%1 和 %2 曾經一起參與同一學習過程 %3 ") | domainEnglishFormat.kif 64309-64309 |
| 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 ?A2 ?CLASS ?TIME)))) |
Mid-level-ontology.kif 18429-18440 | If X and Y were taught in the same EducationalProcess Z together, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of group of people (3) V is an instance of educational process (4) V expresses the content of Z (5) W is a patient of V (6) U is a part of the time of existence of V (7) X is a member of W during U (8) Y is a member of W during U |
| statement |
|
|
| (forall (?A ?COURSE) (not (classmate ?A ?A ?COURSE))) |
Mid-level-ontology.kif 18442-18443 | For all Human X and EducationalCourse Y: X and X were taught in the same EducationalProcess Y together |
|