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 22955-22958 | |
(domain coworker 1 Human) | Mid-level-ontology.kif 22960-22960 | Il numero 1 argomenti di coworker è un istanza di Umano |
(domain coworker 2 Human) | Mid-level-ontology.kif 22961-22961 | Il numero 2 argomenti di coworker è un istanza di Umano |
(instance coworker BinaryPredicate) | Mid-level-ontology.kif 22952-22952 | coworker è un' istanza di PredicatoBinario |
(instance coworker SymmetricRelation) | Mid-level-ontology.kif 22953-22953 | coworker è un' istanza di RelazioneSimmetrica |
(subrelation coworker mutualAcquaintance) | Mid-level-ontology.kif 22962-22962 | coworker è una sottorelazione di 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 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 22964-22973 |
statement |
![]() |
(exists (?T) (and (instance ?T (YearFn 1976)) (holdsDuring ?T (coworker SteveJobsOfApple SteveWozniakOfApple)))) |
ComputingBrands.kif 2453-2457 | PosizioneTemporale PosizioneTemporale è un' istanza di l' anno 1976 coworker SteveJobsOfApple and SteveWozniakOfApple vales durante PosizioneTemporale |
(exists (?T) (and (instance ?T (YearFn 2002)) (holdsDuring ?T (coworker SteveJobsOfApple TimCookOfApple)))) |
ComputingBrands.kif 2441-2445 | PosizioneTemporale PosizioneTemporale è un' istanza di l' anno 2002 coworker SteveJobsOfApple and TimCookOfApple vales durante PosizioneTemporale |
![]() |
![]() |