Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| colleague |
| appearance as argument number 1 |
|
| (instance colleague TernaryPredicate) | Mid-level-ontology.kif 18445-18445 | colleague is an instance of ternary predicate |
| (domain colleague 1 Human) | Mid-level-ontology.kif 18446-18446 | The number 1 argument of colleague is an instance of human |
| (domain colleague 2 Human) | Mid-level-ontology.kif 18447-18447 | The number 2 argument of colleague is an instance of human |
| (domain colleague 3 Organization) | Mid-level-ontology.kif 18448-18448 | The number 3 argument of colleague is an instance of organization |
| (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 18449-18451 | The number 3 argument of colleague is an instance of organization |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage colleague "colleague") | domainEnglishFormat.kif 64311-64311 | |
| (termFormat ChineseTraditionalLanguage colleague "同事關係") | domainEnglishFormat.kif 64312-64312 | |
| (format EnglishLanguage colleague "%1 and %2 were employs by the same organization %3") | domainEnglishFormat.kif 64313-64313 | |
| (format ChineseTraditionalLanguage colleague "%1 和 %2 時受催於組織 %3") | domainEnglishFormat.kif 64314-64314 |
| antecedent |
|
|
| (=> (colleague ?A1 ?A2 ?ORG) (exists (?T) (holdsDuring ?T (and (employs ?ORG ?A1) (employs ?ORG ?A2))))) |
Mid-level-ontology.kif 18453-18459 | If X and Y were employs by the same organization Z, then there exists W such that Z employs X and Z employs Y holds during W |
| statement |
|
|
| (forall (?A ?ORG) (not (colleague ?A ?A ?ORG))) |
Mid-level-ontology.kif 18461-18462 | For all Human X and Organization Y: X and X were employs by the same organization Y |
|