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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PartialOrderingRelation

Sigma KEE - PartialOrderingRelation
PartialOrderingRelation(偏序关系)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1854-1855
No TPTP formula. May not be expressible in strict first order. Merge.kif 2370-2372
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 475-477
No TPTP formula. May not be expressible in strict first order. Merge.kif 2366-2366 偏序关系反对称关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2367-2367 偏序关系自反关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2368-2368 偏序关系总值关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2365-2365 偏序关系传递关系subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22793-22793 抽象的部分偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8138-8138 之前或同时偏序关系instance
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1699-1699 coordinates偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17819-17819 几何部分偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1874-1874 大于或等于偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3293-3293 起始列表偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1857-1857 少于或等于偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 915-915 部分偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 681-681 子属性偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1289-1289 子集偏序关系instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14476-14476 subLanguage偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3119-3119 zi列表偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16742-16742 子机构偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3751-3751 子过程偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 130-130 子类别偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 170-170 子关系偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4518-4518 包含内容类偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4575-4575 包含内容实例偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7931-7931 时间部分偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2374-2374 全序关系偏序关系subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 901-901
No TPTP formula. May not be expressible in strict first order. english_format.kif 1009-1009
No TPTP formula. May not be expressible in strict first order. french_format.kif 577-577
No TPTP formula. May not be expressible in strict first order. 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