| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1827-1830 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2219-2224 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 446-450 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2217-2217 | 子類 PartialValuedRelation and Relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8903-8903 | 例 AfternoonFn and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1768-1768 | 例 attr and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 889-889 | 例 背部 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8657-8657 | 例 天 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4735-4735 | 例 部 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15608-15608 | 例 版 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9003-9003 | 例 EveningFn and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1753-1753 | 例 延期 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 869-869 | 例 面前 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16837-16837 | 例 政府 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4840-4840 | 例 最大公約數 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8682-8682 | 例 小時 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5912-5912 | 例 初始節點 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4916-4916 | 例 整數平方根 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5572-5572 | 例 卡帕 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4924-4924 | 例 最不常見的倍數 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2971-2971 | 例 清單順序 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8708-8708 | 例 分 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8640-8640 | 例 月 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8887-8887 | 例 MorningFn and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16042-16042 | 例 定期發行 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9037-9037 | 例 QuarterFn and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8513-8513 | 例 經常性時間間隔 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5089-5089 | 例 剩餘 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8735-8735 | 例 第二 and PartialValuedRelation |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2157-2157 | 劃分 Relation, TotalValuedRelation and PartialValuedRelation |
|
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