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
PartialOrderingRelation
Sigma KEE - PartialOrderingRelation
PartialOrderingRelation
(partial ordering relation)
appearance as argument number 1
(
documentation
PartialOrderingRelation
ChineseLanguage
"一个
BinaryRelation
属于部分顺序 关系如果它是一个
ReflexiveRelation
、
AntisymmetricRelation
和
TransitiveRelation
。")
chinese_format.kif 1854-1855
(
documentation
PartialOrderingRelation
EnglishLanguage
"A
BinaryRelation
is a partial ordering if it is a
ReflexiveRelation
, an
AntisymmetricRelation
, and a
TransitiveRelation
.")
Merge.kif 2370-2372
(
documentation
PartialOrderingRelation
JapaneseLanguage
"
BinaryRelation
は、
ReflexiveRelation
、
AntisymmetricRelation
、および
TransitiveRelation
の場合の部分的な 順序付けである。")
japanese_format.kif 475-477
(
subclass
PartialOrderingRelation
AntisymmetricRelation
)
Merge.kif 2366-2366
Partial ordering relation
is a
subclass
of
antisymmetric relation
(
subclass
PartialOrderingRelation
ReflexiveRelation
)
Merge.kif 2367-2367
Partial ordering relation
is a
subclass
of
reflexive relation
(
subclass
PartialOrderingRelation
TotalValuedRelation
)
Merge.kif 2368-2368
Partial ordering relation
is a
subclass
of
total valued relation
(
subclass
PartialOrderingRelation
TransitiveRelation
)
Merge.kif 2365-2365
Partial ordering relation
is a
subclass
of
transitive relation
appearance as argument number 2
(
instance
abstractPart
PartialOrderingRelation
)
Mid-level-ontology.kif 23076-23076
abstract part
is an
instance
of
partial ordering relation
(
instance
beforeOrEqual
PartialOrderingRelation
)
Merge.kif 8174-8174
before or equal
is an
instance
of
partial ordering relation
(
instance
coordinates
PartialOrderingRelation
)
MilitaryProcesses.kif 1699-1699
coordinates
is an
instance
of
partial ordering relation
(
instance
geometricPart
PartialOrderingRelation
)
Merge.kif 17898-17898
geometric part
is an
instance
of
partial ordering relation
(
instance
greaterThanOrEqualTo
PartialOrderingRelation
)
Merge.kif 1874-1874
greater than or equal to
is an
instance
of
partial ordering relation
(
instance
initialList
PartialOrderingRelation
)
Merge.kif 3294-3294
initial list
is an
instance
of
partial ordering relation
(
instance
lessThanOrEqualTo
PartialOrderingRelation
)
Merge.kif 1857-1857
less than or equal to
is an
instance
of
partial ordering relation
(
instance
part
PartialOrderingRelation
)
Merge.kif 915-915
part
is an
instance
of
partial ordering relation
(
instance
subAttribute
PartialOrderingRelation
)
Merge.kif 681-681
sub attribute
is an
instance
of
partial ordering relation
(
instance
subCollection
PartialOrderingRelation
)
Merge.kif 1289-1289
sub collection
is an
instance
of
partial ordering relation
(
instance
subLanguage
PartialOrderingRelation
)
Languages.kif 14476-14476
sub language
is an
instance
of
partial ordering relation
(
instance
subList
PartialOrderingRelation
)
Merge.kif 3120-3120
sub list
is an
instance
of
partial ordering relation
(
instance
subOrganization
PartialOrderingRelation
)
Merge.kif 16813-16813
sub organization
is an
instance
of
partial ordering relation
(
instance
subProcess
PartialOrderingRelation
)
Merge.kif 3752-3752
sub process
is an
instance
of
partial ordering relation
(
instance
subclass
PartialOrderingRelation
)
Merge.kif 130-130
subclass
is an
instance
of
partial ordering relation
(
instance
subrelation
PartialOrderingRelation
)
Merge.kif 170-170
subrelation
is an
instance
of
partial ordering relation
(
instance
subsumesContentClass
PartialOrderingRelation
)
Merge.kif 4519-4519
subsumes content class
is an
instance
of
partial ordering relation
(
instance
subsumesContentInstance
PartialOrderingRelation
)
Merge.kif 4576-4576
subsumes content instance
is an
instance
of
partial ordering relation
(
instance
temporalPart
PartialOrderingRelation
)
Merge.kif 7967-7967
temporal part
is an
instance
of
partial ordering relation
(
subclass
TotalOrderingRelation
PartialOrderingRelation
)
Merge.kif 2374-2374
Total ordering relation
is a
subclass
of
partial ordering relation
(
termFormat
ChineseLanguage
PartialOrderingRelation
"偏序关系")
chinese_format.kif 901-901
Total ordering relation
is a
subclass
of
partial ordering relation
(
termFormat
EnglishLanguage
PartialOrderingRelation
"partial ordering relation")
english_format.kif 1009-1009
Total ordering relation
is a
subclass
of
partial ordering relation
(
termFormat
FrenchLanguage
PartialOrderingRelation
"relation partiellement dirig�e")
french_format.kif 577-577
Total ordering relation
is a
subclass
of
partial ordering relation
(
termFormat
Hindi
PartialOrderingRelation
"aanshika anukrama sambandha")
terms-hindi.txt 107-107
Total ordering relation
is a
subclass
of
partial ordering relation
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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