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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


        (instance ?H1 Human)
        (instance ?H2 Human)
        (hasExpertise ?H1 ?FIELDOFSTUDY1)
        (hasExpertise ?H2 ?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