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 18231-18233 | |
(domain colleague 1 Human) | Mid-level-ontology.kif 18228-18228 | |
(domain colleague 2 Human) | Mid-level-ontology.kif 18229-18229 | |
(domain colleague 3 Organization) | Mid-level-ontology.kif 18230-18230 | |
(instance colleague IrreflexiveRelation) | Mid-level-ontology.kif 18227-18227 | |
(instance colleague TernaryPredicate) | Mid-level-ontology.kif 18226-18226 |
appearance as argument number 2 |
![]() |
(format ChineseTraditionalLanguage colleague "%1 和 %2 時受催於組織 %3") | domainEnglishFormat.kif 64334-64334 | |
(format EnglishLanguage colleague "%1 and %2 were employs by the same organization %3") | domainEnglishFormat.kif 64333-64333 | |
(termFormat ChineseTraditionalLanguage colleague "同事關係") | domainEnglishFormat.kif 64332-64332 | |
(termFormat EnglishLanguage colleague "colleague") | domainEnglishFormat.kif 64331-64331 |
antecedent |
![]() |
(=> (colleague ?A1 ?A2 ?ORG) (exists (?T) (holdsDuring ?T (and (employs ?ORG ?A1) (employs ?ORG ?A2))))) |
Mid-level-ontology.kif 18235-18241 |
![]() |
![]() |