|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4089-4089 | eventPartlyLocated 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 169-169 | evidence 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2456-2456 | 经历者 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15720-15720 | 实验控制 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3911-3911 | experimentalSubject 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3940-3940 | experimenter 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23430-23430 | 取得控制权 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2469-2469 | 工具 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 21-21 | 入侵病毒 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 190-190 | judge 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23444-23444 | 失去操控权 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10999-10999 | 移动 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12398-12398 | objectAttached 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12446-12446 | objectDetached 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11352-11352 | objectTransferred 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2480-2480 | 源头 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30748-30748 | passenger 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11092-11092 | 路径 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2493-2493 | 受事 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 270-270 | perpetrator 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16272-16272 | 原告 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1691-1691 | 扮演 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 308-308 | prosecutor 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8798-8798 | 反应 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8805-8805 | 试剂 是 格角色 的 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