| appearance as argument number 1 |
|
| (documentation coworker EnglishLanguage "(holdsDuring ?T1 (coworker ?H1 ?H2)) means that during time ?T1, ?H1 and ?H2 are both employed by the same agent, are of roughly the same job status, and come into contact at least part of the time at the same work location.") | Mid-level-ontology.kif 22956-22959 | |
| (domain coworker 1 Human) | Mid-level-ontology.kif 22961-22961 | 域 同事, 1 and Human |
| (domain coworker 2 Human) | Mid-level-ontology.kif 22962-22962 | 域 同事, 2 and Human |
| (instance coworker BinaryPredicate) | Mid-level-ontology.kif 22953-22953 | 例 同事 and BinaryPredicate |
| (instance coworker SymmetricRelation) | Mid-level-ontology.kif 22954-22954 | 例 同事 and SymmetricRelation |
| (subrelation coworker mutualAcquaintance) | Mid-level-ontology.kif 22963-22963 | 子關係 同事 and 相識熟人 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage coworker "%2 %n 是 %1 的 coworker ") | domainEnglishFormat.kif 572-572 | |
| (format ChineseTraditionalLanguage coworker "%2 %n 是 %1 的 coworker ") | domainEnglishFormat.kif 571-571 | |
| (format EnglishLanguage coworker "%2 is %n a coworker of %1") | domainEnglishFormat.kif 570-570 | |
| (termFormat ChineseLanguage coworker "同事") | domainEnglishFormat.kif 17670-17670 | |
| (termFormat ChineseTraditionalLanguage coworker "同事") | domainEnglishFormat.kif 17669-17669 | |
| (termFormat EnglishLanguage coworker "coworker") | domainEnglishFormat.kif 17668-17668 |
| antecedent |
|
|
| (=> (holdsDuring ?T1 (coworker ?H1 ?H2)) (exists (?ORG) (and (instance ?ORG Organization) (holdsDuring ?T1 (and (employs ?ORG ?H1) (employs ?ORG ?H2)))))) |
Mid-level-ontology.kif 22965-22974 |
| statement |
|
|
| (exists (?T) (and (instance ?T (YearFn 1976)) (holdsDuring ?T (coworker SteveJobsOfApple SteveWozniakOfApple)))) |
ComputingBrands.kif 2453-2457 | TimePosition 例 TimePosition and 年 1976 持有期間 TimePosition and 斯蒂夫·沃茲尼亞克 是 史蒂芬·賈伯斯 的 coworker |
| (exists (?T) (and (instance ?T (YearFn 2002)) (holdsDuring ?T (coworker SteveJobsOfApple TimCookOfApple)))) |
ComputingBrands.kif 2441-2445 | TimePosition 例 TimePosition and 年 2002 持有期間 TimePosition and 提姆·庫克 是 史蒂芬·賈伯斯 的 coworker |
|
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