Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| memberAtTime |
| appearance as argument number 1 |
|
| (instance memberAtTime TernaryPredicate) | Mid-level-ontology.kif 24973-24973 | member at time is an instance of ternary predicate |
| (documentation memberAtTime EnglishLanguage "(memberAtTime ?MEMBER ?COLLECTION ?TIME) means that during the time period denoted by ?TIME, ?MEMBER is a member of ?COLLECTION.") | Mid-level-ontology.kif 24974-24976 | member at time is an instance of ternary predicate |
| (domain memberAtTime 1 SelfConnectedObject) | Mid-level-ontology.kif 24977-24977 | The number 1 argument of member at time is an instance of self connected object |
| (domain memberAtTime 2 Collection) | Mid-level-ontology.kif 24978-24978 | The number 2 argument of member at time is an instance of collection |
| (domain memberAtTime 3 TimePosition) | Mid-level-ontology.kif 24979-24979 | The number 3 argument of member at time is an instance of time position |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage memberAtTime "member at time") | domainEnglishFormat.kif 36995-36995 | |
| (termFormat ChineseTraditionalLanguage memberAtTime "時間上的會員") | domainEnglishFormat.kif 36996-36996 | |
| (termFormat ChineseLanguage memberAtTime "时间上的会员") | domainEnglishFormat.kif 36997-36997 | |
| (format EnglishLanguage memberAtTime "%1 is %n a member of %2 during %3") | english_format.kif 156-156 |
| antecedent |
|
|
| (<=> (memberAtTime ?OBJ ?COLLECTION ?TIME) (holdsDuring ?TIME (member ?OBJ ?COLLECTION))) |
Mid-level-ontology.kif 24981-24983 | X is a member of Y during Z if and only if X is a member of Y holds during Z |
| (=> (and (locatedAtTime ?COLLECTION ?TIME ?PLACE) (memberAtTime ?OBJ ?COLLECTION ?TIME)) (locatedAtTime ?OBJ ?TIME ?PLACE)) |
Mid-level-ontology.kif 24985-24989 | If X located at time Y for Z and W is a member of X during Y, then W located at time Y for Z |
| consequent |
|
|
| (=> (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 |
|