| 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 | 子類 PartialOrderingRelation and AntisymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2367-2367 | 子類 PartialOrderingRelation and ReflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2368-2368 | 子類 PartialOrderingRelation and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2365-2365 | 子類 PartialOrderingRelation and TransitiveRelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22793-22793 | 例 抽象的部分 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8138-8138 | 例 之前或相等 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1699-1699 | 例 coordinates and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17819-17819 | 例 幾何部分 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1874-1874 | 例 大於或等於 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3293-3293 | 例 初始清單 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1857-1857 | 例 小於或等於 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 915-915 | 例 部分 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 681-681 | 例 子屬性 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1289-1289 | 例 子集合 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14476-14476 | 例 subLanguage and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3119-3119 | 例 子列表 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16742-16742 | 例 子組織 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3751-3751 | 例 子過程 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 130-130 | 例 子類 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 170-170 | 例 子關係 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4518-4518 | 例 包含內容類 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4575-4575 | 例 包含內容實例 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7931-7931 | 例 時間部分 and PartialOrderingRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2374-2374 | 子類 TotalOrderingRelation and PartialOrderingRelation |
| 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 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