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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PartialOrderingRelation
PartialOrderingRelation(偏序关系)

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 2318-2320
(subclass PartialOrderingRelation AntisymmetricRelation) Merge.kif 2314-2314 偏序关系反对称关系subclass
(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2315-2315 偏序关系自反关系subclass
(subclass PartialOrderingRelation TotalValuedRelation) Merge.kif 2316-2316 偏序关系总值关系subclass
(subclass PartialOrderingRelation TransitiveRelation) Merge.kif 2313-2313 偏序关系传递关系subclass

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


(instance abstractPart PartialOrderingRelation) Mid-level-ontology.kif 22324-22324 抽象的部分偏序关系instance
(instance beforeOrEqual PartialOrderingRelation) Merge.kif 8050-8050 之前或同时偏序关系instance
(instance coordinates PartialOrderingRelation) MilitaryProcesses.kif 1699-1699 coordinates偏序关系instance
(instance geometricPart PartialOrderingRelation) Merge.kif 17557-17557 几何部分偏序关系instance
(instance greaterThanOrEqualTo PartialOrderingRelation) Merge.kif 1822-1822 大于或等于偏序关系instance
(instance initialList PartialOrderingRelation) Merge.kif 3230-3230 起始列表偏序关系instance
(instance lessThanOrEqualTo PartialOrderingRelation) Merge.kif 1805-1805 少于或等于偏序关系instance
(instance part PartialOrderingRelation) Merge.kif 898-898 部分偏序关系instance
(instance subAttribute PartialOrderingRelation) Merge.kif 672-672 子属性偏序关系instance
(instance subCollection PartialOrderingRelation) Merge.kif 1249-1249 子集偏序关系instance
(instance subLanguage PartialOrderingRelation) Languages.kif 14476-14476 subLanguage偏序关系instance
(instance subList PartialOrderingRelation) Merge.kif 3055-3055 zi列表偏序关系instance
(instance subOrganization PartialOrderingRelation) Merge.kif 16488-16488 子机构偏序关系instance
(instance subProcess PartialOrderingRelation) Merge.kif 10027-10027 子过程偏序关系instance
(instance subclass PartialOrderingRelation) Merge.kif 130-130 子类别偏序关系instance
(instance subrelation PartialOrderingRelation) Merge.kif 170-170 子关系偏序关系instance
(instance subsumesContentClass PartialOrderingRelation) Merge.kif 4430-4430 包含内容类偏序关系instance
(instance subsumesContentInstance PartialOrderingRelation) Merge.kif 4487-4487 包含内容实例偏序关系instance
(instance temporalPart PartialOrderingRelation) Merge.kif 7843-7843 时间部分偏序关系instance
(subclass TotalOrderingRelation PartialOrderingRelation) Merge.kif 2322-2322 全序关系偏序关系subclass
(termFormat ChineseLanguage PartialOrderingRelation "偏序关系") chinese_format.kif 901-901
(termFormat EnglishLanguage PartialOrderingRelation "partial ordering relation") english_format.kif 1009-1009


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