|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2049-2049 | 例 EmailLocalPartFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8008-8008 | 例 結束 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5951-5951 | 例 結束節點 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8932-8932 | 例 EveningFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1148-1148 | 例 專屬捕魚區 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1320-1320 | 例 行政部門 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1180-1180 | 例 延伸捕魚區 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1759-1759 | 例 延期 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4509-4509 | 例 FailureFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3664-3664 | 例 FarmOfProductFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3225-3225 | 例 第一 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3696-3696 | 例 財政年度 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 886-886 | 例 適合兵役的男性 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4826-4826 | 例 地板 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4892-4892 | 例 流 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4924-4924 | 例 流動區域 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14857-14857 | 例 FoodForFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 877-877 | 例 面前 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8509-8509 | 例 未來 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2945-2945 | 例 GMBFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2988-2988 | 例 GMVFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5496-5496 | 例 一般化交叉口 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5485-5485 | 例 一般化聯盟 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 333-333 | 例 地理中心 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16710-16710 | 例 政府 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