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

Formal Language: 



KB Term:  Term intersection
English Word: 

  colleague

Sigma KEE - colleague
colleague

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


(documentation colleague EnglishLanguage "This refers to the relation between two people that have expertise (hasExpertise) in the same FieldOfStudy. This is not to be confused with Coworker, which is a term used to describe two people who have been employed by the same agent.") LinkedInDegrees.kif 415-419
(domain colleague 1 Human) LinkedInDegrees.kif 421-421
(domain colleague 2 Human) LinkedInDegrees.kif 422-422
(instance colleague BinaryPredicate) LinkedInDegrees.kif 423-423
(instance colleague SocialNetworkingConnection) LinkedInDegrees.kif 426-426
(instance colleague SymmetricRelation) LinkedInDegrees.kif 424-424
(termFormat colleague EnglishLanguage "colleague") LinkedInDegrees.kif 425-425

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


(format EnglishLanguage colleague "%1 is a colleague of %2") domainEnglishFormat.kif 766-766

consequent
-------------------------


(=>
    (and
        (instance ?H1 Human)
        (instance ?H2 Human)
        (hasExpertise ?H1 ?FIELDOFSTUDY1)
        (hasExpertise ?H2 ?FIELDOFSTUDY2)
        (equal ?FIELDOFSTUDY1 ?FIELDOFSTUDY2))
    (colleague ?H1 ?H2))
LinkedInDegrees.kif 428-435


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