| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1823-1826 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2197-2201 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 442-445 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2195-2195 | 子類 TotalValuedRelation and 可繼承的關係 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2194-2194 | 子類 TotalValuedRelation and Relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4761-4761 | 例 絕對值 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1279-1279 | 例 AccelerationFn and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4711-4711 | 例 加成 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5258-5258 | 例 ArcCosineFn and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5268-5268 | 例 ArcSineFn and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5248-5248 | 例 ArcTangentFn and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7981-7981 | 例 開始 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5941-5941 | 例 開始節點 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4782-4782 | 例 天花板 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7638-7638 | 例 圓心 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5476-5476 | 例 補充 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4800-4800 | 例 餘弦 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4809-4809 | 例 分母 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6643-6643 | 例 密度 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4948-4948 | 例 直徑 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8009-8009 | 例 結束 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5952-5952 | 例 結束節點 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4818-4818 | 例 冪 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4827-4827 | 例 地板 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8510-8510 | 例 未來 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5497-5497 | 例 一般化交叉口 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5486-5486 | 例 一般化聯盟 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6053-6053 | 例 圖形路徑 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4907-4907 | 例 想像的部分 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16284-16284 | 例 直系親屬 and TotalValuedRelation |
| 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