|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4089-4089 | 例 eventPartlyLocated and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 169-169 | 例 evidence and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2456-2456 | 例 體驗者 and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15721-15721 | 例 實驗控制 and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3911-3911 | 例 experimentalSubject and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3940-3940 | 例 experimenter and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23431-23431 | 例 獲得控制權 and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2469-2469 | 例 儀器 and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 21-21 | 例 入侵病毒 and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 190-190 | 例 judge and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23445-23445 | 例 失去控制 and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10977-10977 | 例 移動 and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12376-12376 | 例 objectAttached and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12424-12424 | 例 objectDetached and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11330-11330 | 例 objectTransferred and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2480-2480 | 例 起源 and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30760-30760 | 例 passenger and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11070-11070 | 例 路徑 and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2493-2493 | 例 患者 and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 270-270 | 例 perpetrator and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16273-16273 | 例 原告 and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1691-1691 | 例 扮演 and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 308-308 | 例 prosecutor and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8799-8799 | 例 反應 and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8806-8806 | 例 試劑 and CaseRole |
| 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