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 3685-3688
(
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 3682-3682
Il numero 1 argomenti di
trichotomizingOn
è un
istanza
di
RelazioneBinaria
(
domain
trichotomizingOn
2
Class
)
Merge.kif 3683-3683
Il numero 2 argomenti di
trichotomizingOn
è un
istanza
di
Classe
(
instance
trichotomizingOn
AsymmetricRelation
)
Merge.kif 3681-3681
trichotomizingOn
è un'
istanza
di
RelazioneAsimmetrica
(
instance
trichotomizingOn
BinaryPredicate
)
Merge.kif 3680-3680
trichotomizingOn
è un'
istanza
di
PredicatoBinario
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 59188-59188
(
termFormat
ChineseLanguage
trichotomizingOn
"含三分律关系")
chinese_format.kif 196-196
(
termFormat
ChineseTraditionalLanguage
trichotomizingOn
"trichotomizing")
domainEnglishFormat.kif 59187-59187
(
termFormat
EnglishLanguage
trichotomizingOn
"trichotomizing on")
domainEnglishFormat.kif 59186-59186
(
termFormat
de
trichotomizingOn
"trichotomizierungAuf")
terms-de.txt 79-79
antecedent
(=>
(
and
(
partialOrderingOn
?RELATION ?CLASS)
(
trichotomizingOn
?RELATION ?CLASS))
(
totalOrderingOn
?RELATION ?CLASS))
Merge.kif 3674-3678
RelazioneBinaria
è
ordinamento
parziale su
Classe
RelazioneBinaria
è
tricotomizzante
su
Classe
RelazioneBinaria
è
ordinamento
totale su
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 3690-3702
RelazioneBinaria
è
tricotomizzante
su
Classe
RelazioneBinaria
è un'
istanza
di
RelazioneEstesaAQuantit�
Entit�
Entit�
Entit�
è un'
istanza
di
Classe
Entit�
è un'
istanza
di
Classe
RelazioneBinaria
Entit�
and
Entit�
RelazioneBinaria
Entit�
and
Entit�
Entit�
is
uguale
a
Entit�
consequent
(=>
(
totalOrderingOn
?RELATION ?CLASS)
(
and
(
partialOrderingOn
?RELATION ?CLASS)
(
trichotomizingOn
?RELATION ?CLASS)))
Merge.kif 3668-3672
RelazioneBinaria
è
ordinamento
totale su
Classe
RelazioneBinaria
è
ordinamento
parziale su
Classe
RelazioneBinaria
è
tricotomizzante
su
Classe
appearance as argument number 0
(
trichotomizingOn
greaterThan
RealNumber
)
Merge.kif 1847-1847
greaterThan
è
tricotomizzante
su
NumeroReale
(
trichotomizingOn
greaterThanOrEqualTo
RealNumber
)
Merge.kif 1876-1876
greaterThanOrEqualTo
è
tricotomizzante
su
NumeroReale
(
trichotomizingOn
lessThan
RealNumber
)
Merge.kif 1835-1835
lessThan
è
tricotomizzante
su
NumeroReale
(
trichotomizingOn
lessThanOrEqualTo
RealNumber
)
Merge.kif 1859-1859
lessThanOrEqualTo
è
tricotomizzante
su
NumeroReale
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