TreeView Knowledge Base Browser

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 16861-16863
(domain colleague 1 Human)	Mid-level-ontology.kif 16858-16858	colleague の数値 1 引数は人［人間］の instance では %n
(domain colleague 2 Human)	Mid-level-ontology.kif 16859-16859	colleague の数値 2 引数は人［人間］の instance では %n
(domain colleague 3 Organization)	Mid-level-ontology.kif 16860-16860	colleague の数値 3 引数は組織の instance では %n
(instance colleague IrreflexiveRelation)	Mid-level-ontology.kif 16857-16857	colleague は非反射関係の instance では %n
(instance colleague TernaryPredicate)	Mid-level-ontology.kif 16856-16856	colleague は 3進述語の instance では %n

appearance as argument number 2

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

antecedent

(=>
    (colleague ?A1 ?A2 ?ORG)
    (exists (?T)
        (holdsDuring ?T
            (and
                (employs ?ORG ?A1)
                (employs ?ORG ?A2)))))

Mid-level-ontology.kif 16865-16871

colleague 人［人間］, 人［人間］ and 組織
時間位置組織は人［人間］を employs %n{ない} 組織は人［人間］を employs %n{ない} は時間位置の during holds %n{ない}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: