|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12923-12923 | 调查 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12174-12174 | 保存 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 257-257 | ListOnSite 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13627-13627 | 听 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13553-13553 | 看着 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12219-12219 | 维护 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12813-12813 | 制作 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13385-13385 | 竞争招数 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 114-114 | 造型 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10535-10535 | 机构性过程 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12331-12331 | 刺 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6618-6618 | 冲压 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12874-12874 | 追求 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10523-10523 | 娱乐或锻炼 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12223-12223 | 修理 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12999-12999 | 社交 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11169-11169 | 游泳 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18021-18021 | 翻耕 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1167-1167 | UserAction 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20422-20422 | WorkLeave 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1091-1091 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1393-1393 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 769-769 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 301-301 | |
| 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