coworker |
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 | coworker の数値 1 引数は 人[人間] の instance では %n |
(domain coworker 2 Human) | Mid-level-ontology.kif 22962-22962 | coworker の数値 2 引数は 人[人間] の instance では %n |
(instance coworker BinaryPredicate) | Mid-level-ontology.kif 22953-22953 | coworker は 2進述語 の instance では %n |
(instance coworker SymmetricRelation) | Mid-level-ontology.kif 22954-22954 | coworker は 対称関係 の instance では %n |
(subrelation coworker mutualAcquaintance) | Mid-level-ontology.kif 22963-22963 | coworker は mutualAcquaintance の subrelation では %n |
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 | 時間位置 時間位置 は 1976 year 目 の instance では %n coworker スティーブ・ジョブズ氏 and スティーブ・ウオズニアック氏 は 時間位置 の during holds %n{ない} |
(exists (?T) (and (instance ?T (YearFn 2002)) (holdsDuring ?T (coworker SteveJobsOfApple TimCookOfApple)))) |
ComputingBrands.kif 2441-2445 | 時間位置 時間位置 は 2002 year 目 の instance では %n coworker スティーブ・ジョブズ氏 and ティム・クック氏 は 時間位置 の during holds %n{ない} |