| 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 20886-20889 | |
| (domain coworker 1 Human) | Mid-level-ontology.kif 20891-20891 | domain coworker, 1 and Human |
| (domain coworker 2 Human) | Mid-level-ontology.kif 20892-20892 | domain coworker, 2 and Human |
| (instance coworker BinaryPredicate) | Mid-level-ontology.kif 20883-20883 | instance coworker and BinaryPredicate |
| (instance coworker SymmetricRelation) | Mid-level-ontology.kif 20884-20884 | instance coworker and SymmetricRelation |
| (subrelation coworker mutualAcquaintance) | Mid-level-ontology.kif 20893-20893 | 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 17602-17602 | |
| (termFormat ChineseTraditionalLanguage coworker "同事") | domainEnglishFormat.kif 17601-17601 | |
| (termFormat EnglishLanguage coworker "coworker") | domainEnglishFormat.kif 17600-17600 |
| 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 20895-20902 |
|
| statement |
|
|
| (holdsDuring (YearFn 1976) (coworker SteveJobsOfApple SteveWozniakOfApple)) |
ComputingBrands.kif 2424-2424 | holdsDuring YearFn 1976 and coworker スティーブ・ジョブズ氏 and スティーブ・ウｵズニアック氏 |
| (holdsDuring (YearFn 2002) (coworker SteveJobsOfApple TimCookOfApple)) |
ComputingBrands.kif 2416-2416 | 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 3.0 is open source software produced by Articulate Software and its partners