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

Formal Language: 



KB Term:  Term intersection
English Word: 

  coworker

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 20811-20814
(domain coworker 1 Human) Mid-level-ontology.kif 20816-20816
(domain coworker 2 Human) Mid-level-ontology.kif 20817-20817
(instance coworker BinaryPredicate) Mid-level-ontology.kif 20808-20808
(instance coworker SymmetricRelation) Mid-level-ontology.kif 20809-20809
(subrelation coworker mutualAcquaintance) Mid-level-ontology.kif 20818-20818

appearance as argument number 2
-------------------------


(format EnglishLanguage coworker "%2 is %n a coworker of %1") domainEnglishFormat.kif 152-152
(termFormat EnglishLanguage coworker "coworker") domainEnglishFormat.kif 3366-3366

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 20820-20827


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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