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
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
子類
PartialOrderingRelation
and
AntisymmetricRelation
(
subclass
PartialOrderingRelation
ReflexiveRelation
)
Merge.kif 2367-2367
子類
PartialOrderingRelation
and
ReflexiveRelation
(
subclass
PartialOrderingRelation
TotalValuedRelation
)
Merge.kif 2368-2368
子類
PartialOrderingRelation
and
TotalValuedRelation
(
subclass
PartialOrderingRelation
TransitiveRelation
)
Merge.kif 2365-2365
子類
PartialOrderingRelation
and
TransitiveRelation
appearance as argument number 2
(
instance
abstractPart
PartialOrderingRelation
)
Mid-level-ontology.kif 22845-22845
例
抽象的部分
and
PartialOrderingRelation
(
instance
beforeOrEqual
PartialOrderingRelation
)
Merge.kif 8174-8174
例
之前或相等
and
PartialOrderingRelation
(
instance
coordinates
PartialOrderingRelation
)
MilitaryProcesses.kif 1699-1699
例
coordinates
and
PartialOrderingRelation
(
instance
geometricPart
PartialOrderingRelation
)
Merge.kif 17898-17898
例
幾何部分
and
PartialOrderingRelation
(
instance
greaterThanOrEqualTo
PartialOrderingRelation
)
Merge.kif 1874-1874
例
大於或等於
and
PartialOrderingRelation
(
instance
initialList
PartialOrderingRelation
)
Merge.kif 3294-3294
例
初始清單
and
PartialOrderingRelation
(
instance
lessThanOrEqualTo
PartialOrderingRelation
)
Merge.kif 1857-1857
例
小於或等於
and
PartialOrderingRelation
(
instance
part
PartialOrderingRelation
)
Merge.kif 915-915
例
部分
and
PartialOrderingRelation
(
instance
subAttribute
PartialOrderingRelation
)
Merge.kif 681-681
例
子屬性
and
PartialOrderingRelation
(
instance
subCollection
PartialOrderingRelation
)
Merge.kif 1289-1289
例
子集合
and
PartialOrderingRelation
(
instance
subLanguage
PartialOrderingRelation
)
Languages.kif 14476-14476
例
subLanguage
and
PartialOrderingRelation
(
instance
subList
PartialOrderingRelation
)
Merge.kif 3120-3120
例
子列表
and
PartialOrderingRelation
(
instance
subOrganization
PartialOrderingRelation
)
Merge.kif 16813-16813
例
子組織
and
PartialOrderingRelation
(
instance
subProcess
PartialOrderingRelation
)
Merge.kif 3752-3752
例
子過程
and
PartialOrderingRelation
(
instance
subclass
PartialOrderingRelation
)
Merge.kif 130-130
例
子類
and
PartialOrderingRelation
(
instance
subrelation
PartialOrderingRelation
)
Merge.kif 170-170
例
子關係
and
PartialOrderingRelation
(
instance
subsumesContentClass
PartialOrderingRelation
)
Merge.kif 4519-4519
例
包含內容類
and
PartialOrderingRelation
(
instance
subsumesContentInstance
PartialOrderingRelation
)
Merge.kif 4576-4576
例
包含內容實例
and
PartialOrderingRelation
(
instance
temporalPart
PartialOrderingRelation
)
Merge.kif 7967-7967
例
時間部分
and
PartialOrderingRelation
(
subclass
TotalOrderingRelation
PartialOrderingRelation
)
Merge.kif 2374-2374
子類
TotalOrderingRelation
and
PartialOrderingRelation
(
termFormat
ChineseLanguage
PartialOrderingRelation
"偏序关系")
chinese_format.kif 901-901
(
termFormat
EnglishLanguage
PartialOrderingRelation
"partial ordering relation")
english_format.kif 1009-1009
(
termFormat
FrenchLanguage
PartialOrderingRelation
"relation partiellement dirig�e")
french_format.kif 577-577
(
termFormat
Hindi
PartialOrderingRelation
"aanshika anukrama sambandha")
terms-hindi.txt 107-107
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