| appearance as argument number 1 |
|
| (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 20635-20637 | |
| (domain memberAtTime 1 SelfConnectedObject) | Mid-level-ontology.kif 20638-20638 | |
| (domain memberAtTime 2 Collection) | Mid-level-ontology.kif 20639-20639 | |
| (domain memberAtTime 3 TimePosition) | Mid-level-ontology.kif 20640-20640 | |
| (instance memberAtTime TernaryPredicate) | Mid-level-ontology.kif 20634-20634 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage memberAtTime "%1 在 %3 时 %n 是 %2 的 member") | chinese_format.kif 155-155 | |
| (format EnglishLanguage memberAtTime "%1 is %n a member of %2 during %3") | english_format.kif 159-159 | |
| (termFormat ChineseLanguage memberAtTime "当时的组员") | chinese_format.kif 156-156 | |
| (termFormat ChineseLanguage memberAtTime "时间上的会员") | domainEnglishFormat.kif 36895-36895 | |
| (termFormat ChineseTraditionalLanguage memberAtTime "時間上的會員") | domainEnglishFormat.kif 36894-36894 | |
| (termFormat EnglishLanguage memberAtTime "member at time") | domainEnglishFormat.kif 36893-36893 |
| antecedent |
|
|
| (<=> (memberAtTime ?OBJ ?COLLECTION ?TIME) (holdsDuring ?TIME (member ?OBJ ?COLLECTION))) |
Mid-level-ontology.kif 20642-20644 | |
| (=> (and (locatedAtTime ?COLLECTION ?TIME ?PLACE) (memberAtTime ?OBJ ?COLLECTION ?TIME)) (locatedAtTime ?OBJ ?TIME ?PLACE)) |
Mid-level-ontology.kif 20646-20650 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners