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 23008-23011 | |
(domain coworker 1 Human) | Mid-level-ontology.kif 23013-23013 | Die Zahl 1 Argument von coworker ist ein fall von Human %n{nicht} |
(domain coworker 2 Human) | Mid-level-ontology.kif 23014-23014 | Die Zahl 2 Argument von coworker ist ein fall von Human %n{nicht} |
(instance coworker BinaryPredicate) | Mid-level-ontology.kif 23005-23005 | coworker ist ein fall von BinaryPredicate %n{nicht} |
(instance coworker SymmetricRelation) | Mid-level-ontology.kif 23006-23006 | coworker ist ein fall von SymmetricRelation %n{nicht} |
(subrelation coworker mutualAcquaintance) | Mid-level-ontology.kif 23015-23015 | coworker ist eine teilrelation von 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 23017-23026 |
|
statement |
(exists (?T) (and (instance ?T (YearFn 1976)) (holdsDuring ?T (coworker SteveJobsOfApple SteveWozniakOfApple)))) |
ComputingBrands.kif 2453-2457 | Es gibt TimePosition um ** TimePosition ist ein fall von das jahr 1976 %n{nicht} und coworker SteveJobsOfApple and SteveWozniakOfApple haelt waehrend ** TimePosition %n{nicht} |
(exists (?T) (and (instance ?T (YearFn 2002)) (holdsDuring ?T (coworker SteveJobsOfApple TimCookOfApple)))) |
ComputingBrands.kif 2441-2445 | Es gibt TimePosition um ** TimePosition ist ein fall von das jahr 2002 %n{nicht} und coworker SteveJobsOfApple and TimCookOfApple haelt waehrend ** TimePosition %n{nicht} |