Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - coworker
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 20855-20858
(domain coworker 1 Human) Mid-level-ontology.kif 20860-20860 The number 1 argument of coworker is an instance of human
(domain coworker 2 Human) Mid-level-ontology.kif 20861-20861 The number 2 argument of coworker is an instance of human
(instance coworker BinaryPredicate) Mid-level-ontology.kif 20852-20852 coworker is an instance of binary predicate
(instance coworker SymmetricRelation) Mid-level-ontology.kif 20853-20853 coworker is an instance of symmetric relation
(subrelation coworker mutualAcquaintance) Mid-level-ontology.kif 20862-20862 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 17593-17593
(termFormat ChineseTraditionalLanguage coworker "同事") domainEnglishFormat.kif 17592-17592
(termFormat EnglishLanguage coworker "coworker") domainEnglishFormat.kif 17591-17591

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 20864-20871

statement
-------------------------


(holdsDuring
    (YearFn 1976)
    (coworker SteveJobsOfApple SteveWozniakOfApple))
ComputingBrands.kif 2426-2426 Steve Wozniak is a coworker of Steve Jobs holds during the year 1976
(holdsDuring
    (YearFn 2002)
    (coworker SteveJobsOfApple TimCookOfApple))
ComputingBrands.kif 2418-2418 Tim Cook is a coworker of Steve Jobs holds during the year 2002


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners