Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
colleague
Sigma KEE - colleague
colleague
appearance as argument number 1
(
documentation
colleague
EnglishLanguage
"(
colleague
?A1 ?A2 ?ORG) means that ?A1 and ?A2 are
colleague
s when they both are hired (
employs
) by the same ?ORG.")
Mid-level-ontology.kif 16834-16836
(
domain
colleague
1
Human
)
Mid-level-ontology.kif 16831-16831
(
domain
colleague
2
Human
)
Mid-level-ontology.kif 16832-16832
(
domain
colleague
3
Organization
)
Mid-level-ontology.kif 16833-16833
(
instance
colleague
IrreflexiveRelation
)
Mid-level-ontology.kif 16830-16830
(
instance
colleague
TernaryPredicate
)
Mid-level-ontology.kif 16829-16829
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 16838-16844
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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