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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PartialOrderingRelation

Sigma KEE - PartialOrderingRelation
PartialOrderingRelation(Relacao parcialmente Ordenada)

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


(documentation PartialOrderingRelation ChineseLanguage "一个 BinaryRelation 属于部分顺序 关系如果它是一个 ReflexiveRelationAntisymmetricRelationTransitiveRelation。") 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 は、 ReflexiveRelationAntisymmetricRelation、および TransitiveRelation の場合の部分的な 順序付けである。") japanese_format.kif 475-477
(subclass PartialOrderingRelation AntisymmetricRelation) Merge.kif 2366-2366 Relacao parcialmente Ordenada e' uma sub-classe de Relacao Anti-simetrica
(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2367-2367 Relacao parcialmente Ordenada e' uma sub-classe de Relacao Reflexiva
(subclass PartialOrderingRelation TotalValuedRelation) Merge.kif 2368-2368 Relacao parcialmente Ordenada e' uma sub-classe de Relacao Total
(subclass PartialOrderingRelation TransitiveRelation) Merge.kif 2365-2365 Relacao parcialmente Ordenada e' uma sub-classe de Relacao Transitiva

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


(instance abstractPart PartialOrderingRelation) Mid-level-ontology.kif 22793-22793 abstractPart e' uma instancia de Relacao parcialmente Ordenada
(instance beforeOrEqual PartialOrderingRelation) Merge.kif 8138-8138 beforeOrEqual e' uma instancia de Relacao parcialmente Ordenada
(instance coordinates PartialOrderingRelation) MilitaryProcesses.kif 1699-1699 coordinates e' uma instancia de Relacao parcialmente Ordenada
(instance geometricPart PartialOrderingRelation) Merge.kif 17819-17819 geometricPart e' uma instancia de Relacao parcialmente Ordenada
(instance greaterThanOrEqualTo PartialOrderingRelation) Merge.kif 1874-1874 greaterThanOrEqualTo e' uma instancia de Relacao parcialmente Ordenada
(instance initialList PartialOrderingRelation) Merge.kif 3293-3293 initialList e' uma instancia de Relacao parcialmente Ordenada
(instance lessThanOrEqualTo PartialOrderingRelation) Merge.kif 1857-1857 lessThanOrEqualTo e' uma instancia de Relacao parcialmente Ordenada
(instance part PartialOrderingRelation) Merge.kif 915-915 part e' uma instancia de Relacao parcialmente Ordenada
(instance subAttribute PartialOrderingRelation) Merge.kif 681-681 subAttribute e' uma instancia de Relacao parcialmente Ordenada
(instance subCollection PartialOrderingRelation) Merge.kif 1289-1289 subCollection e' uma instancia de Relacao parcialmente Ordenada
(instance subLanguage PartialOrderingRelation) Languages.kif 14476-14476 subLanguage e' uma instancia de Relacao parcialmente Ordenada
(instance subList PartialOrderingRelation) Merge.kif 3119-3119 subList e' uma instancia de Relacao parcialmente Ordenada
(instance subOrganization PartialOrderingRelation) Merge.kif 16742-16742 subOrganization e' uma instancia de Relacao parcialmente Ordenada
(instance subProcess PartialOrderingRelation) Merge.kif 3751-3751 subProcess e' uma instancia de Relacao parcialmente Ordenada
(instance subclass PartialOrderingRelation) Merge.kif 130-130 subclass e' uma instancia de Relacao parcialmente Ordenada
(instance subrelation PartialOrderingRelation) Merge.kif 170-170 subrelation e' uma instancia de Relacao parcialmente Ordenada
(instance subsumesContentClass PartialOrderingRelation) Merge.kif 4518-4518 subsumesContentClass e' uma instancia de Relacao parcialmente Ordenada
(instance subsumesContentInstance PartialOrderingRelation) Merge.kif 4575-4575 subsumesContentInstance e' uma instancia de Relacao parcialmente Ordenada
(instance temporalPart PartialOrderingRelation) Merge.kif 7931-7931 temporalPart e' uma instancia de Relacao parcialmente Ordenada
(subclass TotalOrderingRelation PartialOrderingRelation) Merge.kif 2374-2374 Relacao totalmente Ordenada e' uma sub-classe de Relacao parcialmente Ordenada
(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