|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3023-3023 | 例 船靠泊 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3270-3270 | 例 船員 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1132-1132 | 例 船舶登記 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2886-2886 | 例 短缺 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 440-440 | 例 關掉 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5187-5187 | 例 正負號 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5209-5209 | 例 正弦 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3745-3745 | 例 SiteSpeedFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5218-5218 | 例 平方根 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3963-3963 | 例 方形單位 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1500-1500 | 例 StandardDeviationFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 420-420 | 例 開始 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 400-400 | 例 啟動 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 434-434 | 例 停 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24442-24442 | 例 StringLengthFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5299-5299 | 例 接班人 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2178-2178 | 例 最高法院 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5229-5229 | 例 切線 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5930-5930 | 例 終端節點 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1221-1221 | 例 領海 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1602-1602 | 例 過境 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1565-1565 | 例 運輸 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4272-4272 | 例 TreatedUsersFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1582-1582 | 例 旅 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6609-6609 | 例 UnitFn and UnaryFunction |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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