|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2495-2495 | 受事 的 1 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23239-23239 | 在事件中发挥作用 的 3 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4367-4367 | 阻止 的 1 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4597-4597 | 体现 的 1 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3768-3768 | 相关事件 的 1 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3769-3769 | 相关事件 的 2 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2511-2511 | 资源 的 1 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2530-2530 | resourceExhausted 的 1 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2551-2551 | 结果 的 1 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1682-1682 | 结果类型 的 1 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3752-3752 | 子过程 的 1 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3753-3753 | 子过程 的 2 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4386-4386 | successEvent 的 2 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29580-29580 | suffers 的 1 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6790-6790 | 攻击目标 的 1 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18395-18395 | DepartmentOfPreventingFn 的 2 数量 是 过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 400-400 | InjuryCausedFn 的 1 数量 是 过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6321-6321 | MeasuringProcessFn 的 1 数量 是 过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 597-597 | activityCapability 的 2 数量 是 过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22929-22929 | 所负责的地区 的 2 数量 是 过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 915-915 | 生化剂解毒剂 的 3 数量 是 过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 783-783 | 生化剂递送 的 2 数量 是 过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3902-3902 | 能够 的 1 数量 是 过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 917-917 | capabilityDuring 的 1 数量 是 过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2687-2687 | 能够在位置 的 1 数量 是 过程 的 subclass |
| 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