|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 749-749 | greaterThanByQuality 的 1 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 750-750 | greaterThanByQuality 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 90-90 | 直接实例 的 1 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3106-3106 | 在列表内 的 1 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2724-2724 | 感兴趣 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 81-81 | 实例 的 1 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2415-2415 | 参与活动 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14753-14753 | 当地的长名 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14765-14765 | 本地简称 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3331-3331 | nameIndexOrder 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4429-4429 | 命名 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 127-127 | offersAtTime 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 199-199 | pastTense 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2496-2496 | 受事 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1708-1708 | 特性 的 1 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4413-4413 | 提到 的 1 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4414-4414 | 提到 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 627-627 | 外部相关的概念 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 616-616 | 内部相关的概念 的 1 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 617-617 | 内部相关的概念 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4452-4452 | 表示 的 1 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4453-4453 | 表示 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4464-4464 | 主事的代表 的 1 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4465-4465 | 主事的代表 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4478-4478 | 所表示的语言 的 2 数量 是 实体 的 instance |
| 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