| 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 20855-20858 | |
| (domain coworker 1 Human) | Mid-level-ontology.kif 20860-20860 | domain coworker, 1 and Human |
| (domain coworker 2 Human) | Mid-level-ontology.kif 20861-20861 | domain coworker, 2 and Human |
| (instance coworker BinaryPredicate) | Mid-level-ontology.kif 20852-20852 | instance coworker and BinaryPredicate |
| (instance coworker SymmetricRelation) | Mid-level-ontology.kif 20853-20853 | instance coworker and SymmetricRelation |
| (subrelation coworker mutualAcquaintance) | Mid-level-ontology.kif 20862-20862 | subrelation coworker and mutualAcquaintance |
| 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 17593-17593 | |
| (termFormat ChineseTraditionalLanguage coworker "同事") | domainEnglishFormat.kif 17592-17592 | |
| (termFormat EnglishLanguage coworker "coworker") | domainEnglishFormat.kif 17591-17591 |
| 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 20864-20871 |
|
| statement |
|
|
| (holdsDuring (YearFn 1976) (coworker SteveJobsOfApple SteveWozniakOfApple)) |
ComputingBrands.kif 2426-2426 | holdsDuring YearFn 1976 and coworker スティーブ・ジョブズ氏 and スティーブ・ウｵズニアック氏 |
| (holdsDuring (YearFn 2002) (coworker SteveJobsOfApple TimCookOfApple)) |
ComputingBrands.kif 2418-2418 | holdsDuring YearFn 2002 and coworker スティーブ・ジョブズ氏 and ティム・クック氏 |
|
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