|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3025-3025 | 範圍子類 船靠泊 and 船靠泊 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 422-422 | 範圍子類 開始 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 436-436 | 範圍子類 停 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2180-2180 | 範圍子類 最高法院 and 最高法院 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9375-9375 | 範圍子類 時間構成 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1604-1604 | 範圍子類 過境 and 易位 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1567-1567 | 範圍子類 運輸 and Transportation |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1584-1584 | 範圍子類 旅 and Transportation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1730-1730 | 範圍子類 表決 and 表決 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8952-8952 | 範圍子類 WeekFn and Week |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8556-8556 | 範圍子類 年 and 年 |
|
|
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