Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PartialOrderingRelation
PartialOrderingRelation, عَلاقَة تَرْتِيْب جُزْئِي, Relacao_parcialmente_Ordenada, RelazioneDiOrdineParziale, aanshika_anukrama_sambandha, partial_ordering_relation, relation_partiellement_dirig�e, 偏序关系

appearance as argument number 1
-------------------------


s__documentation(s__PartialOrderingRelation,s__ChineseLanguage,'一个 BinaryRelation 属于部分顺序 关系如果它是一个 ReflexiveRelationAntisymmetricRelationTransitiveRelation。')

Merge.kif 2497-2498
s__documentation(s__PartialOrderingRelation,s__EnglishLanguage,'A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation.')

Merge.kif 2494-2496
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 2491-2491
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 2492-2492
s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 2493-2493
s__instance(s__TransitiveRelation,s__SetOrClass)

Merge.kif 2490-2490

appearance as argument number 2
-------------------------


s__instance(s__PartialOrderingRelation,s__SetOrClass)

Mid-level-ontology.kif 20636-20636
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 8314-8314
s__instance(s__PartialOrderingRelation,s__SetOrClass)

MilitaryProcesses.kif 1667-1667
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 18236-18236
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 1928-1928
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 3355-3355
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 1910-1910
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 953-953
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 702-702
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 1312-1312
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Languages.kif 14468-14468
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 3310-3310
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 16967-16967
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 10103-10103
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 140-140
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 186-186
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 4635-4635
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 4696-4696
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 8127-8127
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 2500-2500
s__termFormat(s__ChineseLanguage,s__PartialOrderingRelation,'偏序关系')

chinese_format.kif 901-901
s__termFormat(s__EnglishLanguage,s__PartialOrderingRelation,'partial ordering relation')

english_format.kif 588-588
s__termFormat(s__FrenchLanguage,s__PartialOrderingRelation,'relation partiellement dirig�e')

french_format.kif 577-577
s__termFormat(s__Hindi,s__PartialOrderingRelation,'aanshika anukrama sambandha')

terms-hindi.txt 107-107
s__termFormat(s__ItalianLanguage,s__PartialOrderingRelation,'RelazioneDiOrdineParziale')

terms-it.txt 108-108

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners