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 16834-16836
(domain colleague 1 Human)	Mid-level-ontology.kif 16831-16831	Die Zahl 1 Argument von colleague ist ein fall von Human %n{nicht}
(domain colleague 2 Human)	Mid-level-ontology.kif 16832-16832	Die Zahl 2 Argument von colleague ist ein fall von Human %n{nicht}
(domain colleague 3 Organization)	Mid-level-ontology.kif 16833-16833	Die Zahl 3 Argument von colleague ist ein fall von Organization %n{nicht}
(instance colleague IrreflexiveRelation)	Mid-level-ontology.kif 16830-16830	colleague ist ein fall von IrreflexiveRelation %n{nicht}
(instance colleague TernaryPredicate)	Mid-level-ontology.kif 16829-16829	colleague ist ein fall von TernaryPredicate %n{nicht}

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 16838-16844

Wenn colleague Human, ** Human and Organization,
dann es gibt TimePosition um ** Organization beschaeftigt ** Human %n{nicht} und ** Organization beschaeftigt ** ** Human %n{nicht} haelt waehrend ** TimePosition %n{nicht}

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

KB Term:			Term intersection

English Word: