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 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 |