| 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 17052-17054 | |
| (domain colleague 1 Human) | Mid-level-ontology.kif 17049-17049 | The number 1 argument of colleague is an instance of human |
| (domain colleague 2 Human) | Mid-level-ontology.kif 17050-17050 | The number 2 argument of colleague is an instance of human |
| (domain colleague 3 Organization) | Mid-level-ontology.kif 17051-17051 | The number 3 argument of colleague is an instance of organization |
| (instance colleague IrreflexiveRelation) | Mid-level-ontology.kif 17048-17048 | colleague is an instance of irreflexive relation |
| (instance colleague TernaryPredicate) | Mid-level-ontology.kif 17047-17047 | colleague is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseTraditionalLanguage colleague "%1 和 %2 時受催於組織 %3") | domainEnglishFormat.kif 64359-64359 | |
| (format EnglishLanguage colleague "%1 and %2 were employs by the same organization %3") | domainEnglishFormat.kif 64358-64358 | |
| (termFormat ChineseTraditionalLanguage colleague "同事關係") | domainEnglishFormat.kif 64357-64357 | |
| (termFormat EnglishLanguage colleague "colleague") | domainEnglishFormat.kif 64356-64356 |
| antecedent |
|
|
| (=> (colleague ?A1 ?A2 ?ORG) (exists (?T) (holdsDuring ?T (and (employs ?ORG ?A1) (employs ?ORG ?A2))))) |
Mid-level-ontology.kif 17056-17062 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners