|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1690-1690 | 子關係 扮演 and 患者 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1678-1678 | 子關係 referee and 患者 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2508-2508 | 子關係 資源 and 患者 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1991-1991 | 子關係 使用的資源 and 患者 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2548-2548 | 子關係 結果 and 患者 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6792-6792 | 子關係 攻擊目標 and 患者 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22860-22860 | 子關係 運送的 and 患者 |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 258-258 | 子關係 victim and 患者 |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 208-208 | 子關係 witness and 患者 |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 168-168 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44796-44796 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44795-44795 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44794-44794 | |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 64-64 |
|
|
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