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
colleague
的 1 数量 是
人类
的
instance
(
domain
colleague
2
Human
)
Mid-level-ontology.kif 16832-16832
colleague
的 2 数量 是
人类
的
instance
(
domain
colleague
3
Organization
)
Mid-level-ontology.kif 16833-16833
colleague
的 3 数量 是
机构
的
instance
(
instance
colleague
IrreflexiveRelation
)
Mid-level-ontology.kif 16830-16830
colleague
是
非自反关系
的
instance
(
instance
colleague
TernaryPredicate
)
Mid-level-ontology.kif 16829-16829
colleague
是
三元谓语
的
instance
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
如果
colleague
人类
,
另一个 人类
and
机构
,
然后 有存在
时间位置
这样
那个 机构
employs
那个 人类
和
那个 机构
employs
那个 另外 人类
在
那个 时间位置
holdsDuring
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