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
域
同事關係
, 1 and
Human
(
domain
colleague
2
Human
)
Mid-level-ontology.kif 16832-16832
域
同事關係
, 2 and
Human
(
domain
colleague
3
Organization
)
Mid-level-ontology.kif 16833-16833
域
同事關係
, 3 and
Organization
(
instance
colleague
IrreflexiveRelation
)
Mid-level-ontology.kif 16830-16830
例
同事關係
and
IrreflexiveRelation
(
instance
colleague
TernaryPredicate
)
Mid-level-ontology.kif 16829-16829
例
同事關係
and
TernaryPredicate
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
Human
和
Human
時受催於組織
Organization
TimePosition
持有期間
TimePosition
and
採用
Organization
and
Human
採用
Organization
and
Human
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