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
O argumento numero 1 de
trichotomizingOn
e' uma
instancia
de
Relacao Binaria
(
domain
trichotomizingOn
2
Class
)
Merge.kif 3682-3682
O argumento numero 2 de
trichotomizingOn
e' uma
instancia
de
Classe
(
instance
trichotomizingOn
AsymmetricRelation
)
Merge.kif 3680-3680
trichotomizingOn
e' uma
instancia
de
Relacao Assimetrica
(
instance
trichotomizingOn
BinaryPredicate
)
Merge.kif 3679-3679
trichotomizingOn
e' uma
instancia
de
Predicado Binario
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
Relacao Binaria
e'
parcialmente
ordenado sobre
Classe
Relacao Binaria
e'
tricotomizado
en
Classe
Relacao Binaria
e'
totalmente
ordenado
em
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
Relacao Binaria
e'
tricotomizado
en
Classe
Relacao Binaria
e' uma
instancia
de
Relacao estendida a Quantidades
Entidade
Entidade
Entidade
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
Classe
Relacao Binaria
Entidade
and
Entidade
Relacao Binaria
Entidade
and
Entidade
Entidade
e'
igual
a
Entidade
consequent
(=>
(
totalOrderingOn
?RELATION ?CLASS)
(
and
(
partialOrderingOn
?RELATION ?CLASS)
(
trichotomizingOn
?RELATION ?CLASS)))
Merge.kif 3667-3671
Relacao Binaria
e'
totalmente
ordenado
em
Classe
Relacao Binaria
e'
parcialmente
ordenado sobre
Classe
Relacao Binaria
e'
tricotomizado
en
Classe
appearance as argument number 0
(
trichotomizingOn
greaterThan
RealNumber
)
Merge.kif 1847-1847
greaterThan
e'
tricotomizado
en
Numero Real
(
trichotomizingOn
greaterThanOrEqualTo
RealNumber
)
Merge.kif 1876-1876
greaterThanOrEqualTo
e'
tricotomizado
en
Numero Real
(
trichotomizingOn
lessThan
RealNumber
)
Merge.kif 1835-1835
lessThan
e'
tricotomizado
en
Numero Real
(
trichotomizingOn
lessThanOrEqualTo
RealNumber
)
Merge.kif 1859-1859
lessThanOrEqualTo
e'
tricotomizado
en
Numero Real
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