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
Le nombre 1 argument de
trichotomizingOn
est une
instance
de
relation binaire
(
domain
trichotomizingOn
2
Class
)
Merge.kif 3682-3682
Le nombre 2 argument de
trichotomizingOn
est une
instance
de
classe
(
instance
trichotomizingOn
AsymmetricRelation
)
Merge.kif 3680-3680
trichotomizingOn
est une
instance
de
relation asym�trique
(
instance
trichotomizingOn
BinaryPredicate
)
Merge.kif 3679-3679
trichotomizingOn
est une
instance
de
pr�dicat binaire
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
Relation binaire
est
partiellement
ordonn� sur
classe
relation binaire
est
trichotomiz
� en
classe
relation binaire
est
totalement
dirig
� sur
classe
(=>
(
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
Relation binaire
est
trichotomiz
� en
classe
relation binaire
est une
instance
de
relation �tendue aux quantit�es
entit�
entit�
entit�
est une
instance
de
classe
entit�
est une
instance
de
classe
relation binaire
entit�
and
entit�
relation binaire
entit�
and
entit�
entit�
est
entit�
consequent
(=>
(
totalOrderingOn
?RELATION ?CLASS)
(
and
(
partialOrderingOn
?RELATION ?CLASS)
(
trichotomizingOn
?RELATION ?CLASS)))
Merge.kif 3667-3671
Relation binaire
est
totalement
dirig
� sur
classe
relation binaire
est
partiellement
ordonn� sur
classe
relation binaire
est
trichotomiz
� en
classe
appearance as argument number 0
(
trichotomizingOn
greaterThan
RealNumber
)
Merge.kif 1847-1847
greaterThan
est
trichotomiz
� en
nombre r�el
(
trichotomizingOn
greaterThanOrEqualTo
RealNumber
)
Merge.kif 1876-1876
greaterThanOrEqualTo
est
trichotomiz
� en
nombre r�el
(
trichotomizingOn
lessThan
RealNumber
)
Merge.kif 1835-1835
lessThan
est
trichotomiz
� en
nombre r�el
(
trichotomizingOn
lessThanOrEqualTo
RealNumber
)
Merge.kif 1859-1859
lessThanOrEqualTo
est
trichotomiz
� en
nombre r�el
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