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 16833-16835
(
domain
colleague
1
Human
)
Mid-level-ontology.kif 16830-16830
Die Zahl 1 Argument von
colleague
ist ein
fall
von
Human
%n{nicht}
(
domain
colleague
2
Human
)
Mid-level-ontology.kif 16831-16831
Die Zahl 2 Argument von
colleague
ist ein
fall
von
Human
%n{nicht}
(
domain
colleague
3
Organization
)
Mid-level-ontology.kif 16832-16832
Die Zahl 3 Argument von
colleague
ist ein
fall
von
Organization
%n{nicht}
(
instance
colleague
IrreflexiveRelation
)
Mid-level-ontology.kif 16829-16829
colleague
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
colleague
TernaryPredicate
)
Mid-level-ontology.kif 16828-16828
colleague
ist ein
fall
von
TernaryPredicate
%n{nicht}
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 16837-16843
Wenn
colleague
Human
,
** Human
and
Organization
,
dann es gibt
TimePosition
um
** Organization
beschaeftigt
** Human
%n{nicht} und
** Organization
beschaeftigt
** ** Human
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
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