|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9946-9946 | 例 洞主持人 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10087-10087 | 例 洞皮 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4906-4906 | 例 想像的部分 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16305-16305 | 例 直系親屬 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8548-8548 | 例 眼前的未來 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8517-8517 | 例 不久的過去 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18239-18239 | 例 ImpairedBodyPartFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13488-13488 | 例 ImpairmentFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12407-12407 | 例 InflammationFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5920-5920 | 例 初始節點 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1311-1311 | 例 初步資料 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 396-396 | 例 InjuryCausedFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 795-795 | 例 內部邊界 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4921-4921 | 例 整數平方根 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2137-2137 | 例 司法 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2598-2598 | 例 JuiceOfFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3205-3205 | 例 持續 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2035-2035 | 例 立法機關 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3012-3012 | 例 列表長度 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3239-3239 | 例 ListSumFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 912-912 | 例 LyricalComponentFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18392-18392 | 例 MakingFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | People.kif 191-191 | 例 男女比例 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 780-780 | 例 海上主張領海 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1042-1042 | 例 海上毗連區 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