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