| 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 23239-23242 | |
| (domain coworker 1 Human) | Mid-level-ontology.kif 23244-23244 | The number 1 argument of coworker is an instance of human |
| (domain coworker 2 Human) | Mid-level-ontology.kif 23245-23245 | The number 2 argument of coworker is an instance of human |
| (instance coworker BinaryPredicate) | Mid-level-ontology.kif 23236-23236 | coworker is an instance of binary predicate |
| (instance coworker SymmetricRelation) | Mid-level-ontology.kif 23237-23237 | coworker is an instance of symmetric relation |
| (subrelation coworker mutualAcquaintance) | Mid-level-ontology.kif 23246-23246 | coworker is a subrelation of mutual acquaintance |
| 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 17686-17686 | |
| (termFormat ChineseTraditionalLanguage coworker "同事") | domainEnglishFormat.kif 17685-17685 | |
| (termFormat EnglishLanguage coworker "coworker") | domainEnglishFormat.kif 17684-17684 |
| 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 23248-23257 |
|
| statement |
|
|
| (exists (?T) (and (instance ?T (YearFn 1976)) (holdsDuring ?T (coworker SteveJobsOfApple SteveWozniakOfApple)))) |
ComputingBrands.kif 2453-2457 | There exists a time position such that the time position is an instance of the year 1976 and Steve Wozniak is a coworker of Steve Jobs holds during the time position |
| (exists (?T) (and (instance ?T (YearFn 2002)) (holdsDuring ?T (coworker SteveJobsOfApple TimCookOfApple)))) |
ComputingBrands.kif 2441-2445 | There exists a time position such that the time position is an instance of the year 2002 and Tim Cook is a coworker of Steve Jobs holds during the time position |
|
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