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 22379-22382
(domain coworker 1 Human) Mid-level-ontology.kif 22384-22384 domain coworker, 1 and Human
(domain coworker 2 Human) Mid-level-ontology.kif 22385-22385 domain coworker, 2 and Human
(instance coworker BinaryPredicate) Mid-level-ontology.kif 22376-22376 instance coworker and BinaryPredicate
(instance coworker SymmetricRelation) Mid-level-ontology.kif 22377-22377 instance coworker and SymmetricRelation
(subrelation coworker mutualAcquaintance) Mid-level-ontology.kif 22386-22386 subrelation coworker and 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 17661-17661
(termFormat ChineseTraditionalLanguage coworker "同事") domainEnglishFormat.kif 17660-17660
(termFormat EnglishLanguage coworker "coworker") domainEnglishFormat.kif 17659-17659

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 22388-22397

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


(exists (?T)
    (and
        (instance ?T
            (YearFn 1976))
        (holdsDuring ?T
            (coworker SteveJobsOfApple SteveWozniakOfApple))))
ComputingBrands.kif 2421-2425 TimePosition instance TimePosition and YearFn 1976 holdsDuring TimePosition and coworker スティーブ・ジョブズ氏 and スティーブ・ウオズニアック氏
(exists (?T)
    (and
        (instance ?T
            (YearFn 2002))
        (holdsDuring ?T
            (coworker SteveJobsOfApple TimCookOfApple))))
ComputingBrands.kif 2409-2413 TimePosition instance TimePosition and YearFn 2002 holdsDuring TimePosition and coworker スティーブ・ジョブズ氏 and ティム・クック氏


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 3.0 is open source software produced by Articulate Software and its partners