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
trichotomizingOn
Sigma KEE - trichotomizingOn
trichotomizingOn
appearance as argument number 1
(
documentation
trichotomizingOn
ChineseLanguage
"一个
BinaryRelation
?REL 在一个
SetOrClass
属于三分关系,除非对于这个
SetOrClass
所有的 ?INST1 和 ?INST2 的实例, 起码任何以下一个 (?REL ?INST1 ?INST2),(?REL ?INST2 ?INST1) 或 (equal ?INST1 ?INST2) 是真的。")
chinese_format.kif 2051-2054
(
documentation
trichotomizingOn
EnglishLanguage
"A
BinaryRelation
?REL is trichotomizing on a
Class
only if, for all instances ?INST1 and ?INST2 of the
Class
, at least one of the following holds: (?REL ?INST1 ?INST2), (?REL ?INST2 ?INST1) or (equal ?INST1 ?INST2).")
Merge.kif 3684-3687
(
documentation
trichotomizingOn
JapaneseLanguage
"A
BinaryRelation
?REL は、
SetOrClass
のすべてのインスタンス?INST1と?INST2に対して、(?REL ?INST1 ?INST2) (?REL ?INST2 ?INST1)または(?INST1 ?INST2と等しい) のいずれかを保持している場合にのみ、
SetOrClass
三分される。")
japanese_format.kif 696-699
(
domain
trichotomizingOn
1
BinaryRelation
)
Merge.kif 3681-3681
含三分律关系
的 1 数量 是
二元关系
的
instance
(
domain
trichotomizingOn
2
Class
)
Merge.kif 3682-3682
含三分律关系
的 2 数量 是
类
的
instance
(
instance
trichotomizingOn
AsymmetricRelation
)
Merge.kif 3680-3680
含三分律关系
是
非对称关系
的
instance
(
instance
trichotomizingOn
BinaryPredicate
)
Merge.kif 3679-3679
含三分律关系
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
trichotomizingOn
"%1 %n 是 %2 的
trichotomizingOn
")
chinese_format.kif 195-195
(
format
EnglishLanguage
trichotomizingOn
"%1 is %n trichotomizing on %2")
english_format.kif 196-196
(
format
FrenchLanguage
trichotomizingOn
"%1 est %n trichotomiz� en %2")
french_format.kif 117-117
(
format
ItalianLanguage
trichotomizingOn
"%1 è %n tricotomizzante su %2")
relations-it.txt 304-304
(
format
JapaneseLanguage
trichotomizingOn
"%1 は %2 で trichotomizing されて %n")
japanese_format.kif 1946-1946
(
format
PortugueseLanguage
trichotomizingOn
"%1 e' %n tricotomizado en %2")
portuguese_format.kif 69-69
(
format
cz
trichotomizingOn
"%1 %p{je} %n{nen�} trichotomizing on %2")
relations-cz.txt 111-111
(
format
de
trichotomizingOn
"%1 ist eine trichotomizierung auf %2 %n{nicht}")
relations-de.txt 250-250
(
format
hi
trichotomizingOn
"%1 %2 para trivibhaagii %n hai")
relations-hindi.txt 340-340
(
format
ro
trichotomizingOn
"%1 %n{nu} este o relaþie trichotomizing%t{trihotomicã} pe %2")
relations-ro.kif 136-136
(
format
sv
trichotomizingOn
"%1 en %n{inte} trichotomisering över %2")
relations-sv.txt 122-122
(
termFormat
ChineseLanguage
trichotomizingOn
"trichotomizing")
domainEnglishFormat.kif 59186-59186
(
termFormat
ChineseLanguage
trichotomizingOn
"含三分律关系")
chinese_format.kif 196-196
(
termFormat
ChineseTraditionalLanguage
trichotomizingOn
"trichotomizing")
domainEnglishFormat.kif 59185-59185
(
termFormat
EnglishLanguage
trichotomizingOn
"trichotomizing on")
domainEnglishFormat.kif 59184-59184
(
termFormat
de
trichotomizingOn
"trichotomizierungAuf")
terms-de.txt 79-79
antecedent
(=>
(
and
(
partialOrderingOn
?RELATION ?CLASS)
(
trichotomizingOn
?RELATION ?CLASS))
(
totalOrderingOn
?RELATION ?CLASS))
Merge.kif 3673-3677
如果
二元关系
在
类
是
partialOrderingOn
和
那个 二元关系
是
那个 类
的
trichotomizingOn
,
然后
那个 二元关系
是
那个 类
的
totalOrderingOn
(=>
(
and
(
trichotomizingOn
?RELATION ?CLASS)
(
instance
?RELATION
RelationExtendedToQuantities
))
(
forall
(?INST1 ?INST2)
(=>
(
and
(
instance
?INST1 ?CLASS)
(
instance
?INST2 ?CLASS))
(
or
(?RELATION ?INST1 ?INST2)
(?RELATION ?INST2 ?INST1)
(
equal
?INST1 ?INST2)))))
Merge.kif 3689-3701
如果
二元关系
是
类
的
trichotomizingOn
和
那个 二元关系
是
延伸数量关系
的
instance
,
然后 对所有
实体
和
另一个 实体
如果
那个 实体
是
那个 类
的
instance
和
那个 另外 实体
是
那个 类
的
instance
,
然后
那个 二元关系
那个 实体
and
那个 另外 实体
或
那个 二元关系
那个 另外 实体
and
那个 实体
或
那个 实体
equal
那个 另外 实体
consequent
(=>
(
totalOrderingOn
?RELATION ?CLASS)
(
and
(
partialOrderingOn
?RELATION ?CLASS)
(
trichotomizingOn
?RELATION ?CLASS)))
Merge.kif 3667-3671
如果
二元关系
是
类
的
totalOrderingOn
,
然后
那个 二元关系
在
那个 类
是
partialOrderingOn
和
那个 二元关系
是
那个 类
的
trichotomizingOn
appearance as argument number 0
(
trichotomizingOn
greaterThan
RealNumber
)
Merge.kif 1847-1847
大于
是
实数
的
trichotomizingOn
(
trichotomizingOn
greaterThanOrEqualTo
RealNumber
)
Merge.kif 1876-1876
大于或等于
是
实数
的
trichotomizingOn
(
trichotomizingOn
lessThan
RealNumber
)
Merge.kif 1835-1835
少于
是
实数
的
trichotomizingOn
(
trichotomizingOn
lessThanOrEqualTo
RealNumber
)
Merge.kif 1859-1859
少于或等于
是
实数
的
trichotomizingOn
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