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
Die Zahl 1 Argument von
trichotomizierungAuf
ist ein
fall
von
BinaryRelation
%n{nicht}
(
domain
trichotomizingOn
2
Class
)
Merge.kif 3682-3682
Die Zahl 2 Argument von
trichotomizierungAuf
ist ein
fall
von
Class
%n{nicht}
(
instance
trichotomizingOn
AsymmetricRelation
)
Merge.kif 3680-3680
trichotomizierungAuf
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
trichotomizingOn
BinaryPredicate
)
Merge.kif 3679-3679
trichotomizierungAuf
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
BinaryRelation
ist eine
teilweise
Einrichtung auf
Class
%n{nicht} und
** BinaryRelation
ist eine
trichotomizierung
auf
** Class
%n{nicht},
dann
** BinaryRelation
ist eine
gesampteinrichtung
auf
** Class
%n{nicht}
(=>
(
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
Wenn
BinaryRelation
ist eine
trichotomizierung
auf
Class
%n{nicht} und
** BinaryRelation
ist ein
fall
von
RelationExtendedToQuantities
%n{nicht},
dann fuer alle
Entity
und
** Entity
wenn
** Entity
ist ein
fall
von
** Class
%n{nicht} und
** ** Entity
ist ein
fall
von
** Class
%n{nicht},
dann
** BinaryRelation
** Entity
and
** ** Entity
oder
** BinaryRelation
** ** Entity
and
** Entity
oder
** Entity
ist gleich
** ** Entity
%n{nicht}
consequent
(=>
(
totalOrderingOn
?RELATION ?CLASS)
(
and
(
partialOrderingOn
?RELATION ?CLASS)
(
trichotomizingOn
?RELATION ?CLASS)))
Merge.kif 3667-3671
Wenn
BinaryRelation
ist eine
gesampteinrichtung
auf
Class
%n{nicht},
dann
** BinaryRelation
ist eine
teilweise
Einrichtung auf
** Class
%n{nicht} und
** BinaryRelation
ist eine
trichotomizierung
auf
** Class
%n{nicht}
appearance as argument number 0
(
trichotomizingOn
greaterThan
RealNumber
)
Merge.kif 1847-1847
groesserAls
ist eine
trichotomizierung
auf
RealNumber
%n{nicht}
(
trichotomizingOn
greaterThanOrEqualTo
RealNumber
)
Merge.kif 1876-1876
groesserAlsOderGleich
ist eine
trichotomizierung
auf
RealNumber
%n{nicht}
(
trichotomizingOn
lessThan
RealNumber
)
Merge.kif 1835-1835
kleinerAls
ist eine
trichotomizierung
auf
RealNumber
%n{nicht}
(
trichotomizingOn
lessThanOrEqualTo
RealNumber
)
Merge.kif 1859-1859
kleinerAlsOderGleich
ist eine
trichotomizierung
auf
RealNumber
%n{nicht}
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