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
Sigma KEE - PartialOrderingRelation
PartialOrderingRelation
(RelazioneDiOrdineParziale)
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
RelazioneDiOrdineParziale
è una
sottoclasse
di
RelazioneAntisimmetrica
(
subclass
PartialOrderingRelation
ReflexiveRelation
)
Merge.kif 2367-2367
RelazioneDiOrdineParziale
è una
sottoclasse
di
RelazioneRiflessiva
(
subclass
PartialOrderingRelation
TotalValuedRelation
)
Merge.kif 2368-2368
RelazioneDiOrdineParziale
è una
sottoclasse
di
RelazioneAValoreTotale
(
subclass
PartialOrderingRelation
TransitiveRelation
)
Merge.kif 2365-2365
RelazioneDiOrdineParziale
è una
sottoclasse
di
RelazioneTransitiva
appearance as argument number 2
(
instance
abstractPart
PartialOrderingRelation
)
Mid-level-ontology.kif 22845-22845
abstractPart
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
beforeOrEqual
PartialOrderingRelation
)
Merge.kif 8174-8174
beforeOrEqual
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
coordinates
PartialOrderingRelation
)
MilitaryProcesses.kif 1699-1699
coordinates
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
geometricPart
PartialOrderingRelation
)
Merge.kif 17898-17898
geometricPart
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
greaterThanOrEqualTo
PartialOrderingRelation
)
Merge.kif 1874-1874
greaterThanOrEqualTo
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
initialList
PartialOrderingRelation
)
Merge.kif 3294-3294
initialList
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
lessThanOrEqualTo
PartialOrderingRelation
)
Merge.kif 1857-1857
lessThanOrEqualTo
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
part
PartialOrderingRelation
)
Merge.kif 915-915
part
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
subAttribute
PartialOrderingRelation
)
Merge.kif 681-681
subAttribute
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
subCollection
PartialOrderingRelation
)
Merge.kif 1289-1289
subCollection
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
subLanguage
PartialOrderingRelation
)
Languages.kif 14476-14476
subLanguage
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
subList
PartialOrderingRelation
)
Merge.kif 3120-3120
subList
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
subOrganization
PartialOrderingRelation
)
Merge.kif 16813-16813
subOrganization
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
subProcess
PartialOrderingRelation
)
Merge.kif 3752-3752
subProcess
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
subclass
PartialOrderingRelation
)
Merge.kif 130-130
subclass
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
subrelation
PartialOrderingRelation
)
Merge.kif 170-170
subrelation
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
subsumesContentClass
PartialOrderingRelation
)
Merge.kif 4519-4519
subsumesContentClass
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
subsumesContentInstance
PartialOrderingRelation
)
Merge.kif 4576-4576
subsumesContentInstance
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
temporalPart
PartialOrderingRelation
)
Merge.kif 7967-7967
temporalPart
è un'
istanza
di
RelazioneDiOrdineParziale
(
subclass
TotalOrderingRelation
PartialOrderingRelation
)
Merge.kif 2374-2374
RelazioneDiOrdineTotale
è una
sottoclasse
di
RelazioneDiOrdineParziale
(
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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