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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - colleague
colleague

appearance as argument number 1
-------------------------


(documentation colleague EnglishLanguage "(colleague ?A1 ?A2 ?ORG) means that ?A1 and ?A2 are colleagues when they both are hired (employs) by the same ?ORG.") Mid-level-ontology.kif 17762-17764
(domain colleague 1 Human) Mid-level-ontology.kif 17759-17759
(domain colleague 2 Human) Mid-level-ontology.kif 17760-17760
(domain colleague 3 Organization) Mid-level-ontology.kif 17761-17761
(instance colleague IrreflexiveRelation) Mid-level-ontology.kif 17758-17758
(instance colleague TernaryPredicate) Mid-level-ontology.kif 17757-17757

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


(format ChineseTraditionalLanguage colleague "%1 和 %2 時受催於組織 %3") domainEnglishFormat.kif 64334-64334
(format EnglishLanguage colleague "%1 and %2 were employs by the same organization %3") domainEnglishFormat.kif 64333-64333
(termFormat ChineseTraditionalLanguage colleague "同事關係") domainEnglishFormat.kif 64332-64332
(termFormat EnglishLanguage colleague "colleague") domainEnglishFormat.kif 64331-64331

antecedent
-------------------------


(=>
    (colleague ?A1 ?A2 ?ORG)
    (exists (?T)
        (holdsDuring ?T
            (and
                (employs ?ORG ?A1)
                (employs ?ORG ?A2)))))
Mid-level-ontology.kif 17766-17772


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