| 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 24599-24602 | |
| (domain coworker 1 Human) | Mid-level-ontology.kif 24604-24604 | coworker の数値 1 引数は 人［人間］ の instance では |
| (domain coworker 2 Human) | Mid-level-ontology.kif 24605-24605 | coworker の数値 2 引数は 人［人間］ の instance では |
| (instance coworker BinaryPredicate) | Mid-level-ontology.kif 24596-24596 | coworker は 2進述語 の instance では |
| (instance coworker SymmetricRelation) | Mid-level-ontology.kif 24597-24597 | coworker は 対称関係 の instance では |
| (subrelation coworker mutualAcquaintance) | Mid-level-ontology.kif 24606-24606 | coworker は mutualAcquaintance の subrelation では |
| 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 17679-17679 | |
| (termFormat ChineseTraditionalLanguage coworker "同事") | domainEnglishFormat.kif 17678-17678 | |
| (termFormat EnglishLanguage coworker "coworker") | domainEnglishFormat.kif 17677-17677 |
| 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 24608-24617 |
| statement |
|
|
| (exists (?T) (and (instance ?T (YearFn 1976)) (holdsDuring ?T (coworker SteveJobsOfApple SteveWozniakOfApple)))) |
ComputingBrands.kif 2453-2457 | 時間位置 時間位置 は 1976 year 目 の instance では coworker スティーブ・ジョブズ氏 and スティーブ・ウｵズニアック氏 は 時間位置 の during holds |
| (exists (?T) (and (instance ?T (YearFn 2002)) (holdsDuring ?T (coworker SteveJobsOfApple TimCookOfApple)))) |
ComputingBrands.kif 2441-2445 | 時間位置 時間位置 は 2002 year 目 の instance では coworker スティーブ・ジョブズ氏 and ティム・クック氏 は 時間位置 の during holds |
|
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