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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 20886-20889
(domain coworker 1 Human) Mid-level-ontology.kif 20891-20891 domain coworker, 1 and Human
(domain coworker 2 Human) Mid-level-ontology.kif 20892-20892 domain coworker, 2 and Human
(instance coworker BinaryPredicate) Mid-level-ontology.kif 20883-20883 instance coworker and BinaryPredicate
(instance coworker SymmetricRelation) Mid-level-ontology.kif 20884-20884 instance coworker and SymmetricRelation
(subrelation coworker mutualAcquaintance) Mid-level-ontology.kif 20893-20893 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 17602-17602
(termFormat ChineseTraditionalLanguage coworker "同事") domainEnglishFormat.kif 17601-17601
(termFormat EnglishLanguage coworker "coworker") domainEnglishFormat.kif 17600-17600


    (holdsDuring ?T1
        (coworker ?H1 ?H2))
    (exists (?ORG)
            (instance ?ORG Organization)
            (holdsDuring ?T1
                    (employs ?ORG ?H1)
                    (employs ?ORG ?H2))))))
Mid-level-ontology.kif 20895-20902

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