| 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 2191-2195 | |
| 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 2189-2189 | 子類 TotalValuedRelation and 可繼承的關係 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2188-2188 | 子類 TotalValuedRelation and Relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4755-4755 | 例 絕對值 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 4705-4705 | 例 加成 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5252-5252 | 例 ArcCosineFn and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5262-5262 | 例 ArcSineFn and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5242-5242 | 例 ArcTangentFn and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8023-8023 | 例 開始 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5932-5932 | 例 開始節點 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4776-4776 | 例 天花板 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7667-7667 | 例 圓心 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5467-5467 | 例 補充 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4794-4794 | 例 餘弦 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4803-4803 | 例 分母 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6634-6634 | 例 密度 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5178-5178 | 例 直徑 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8051-8051 | 例 結束 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5943-5943 | 例 結束節點 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4812-4812 | 例 冪 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4821-4821 | 例 地板 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8552-8552 | 例 未來 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5488-5488 | 例 一般化交叉口 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5477-5477 | 例 一般化聯盟 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6044-6044 | 例 圖形路徑 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4901-4901 | 例 想像的部分 and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16380-16380 | 例 直系親屬 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