TreeView Knowledge Base Browser

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)

KB Term:			Term intersection

English Word: