|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3309-3309 | 例 濕地大會 and 協議 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3317-3317 | 例 捕鯨大會 and 協議 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4539-4539 | 子類 Account and 協議 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 58-58 | 子類 金融賬戶 and 協議 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2996-2996 | 子類 國際協議 and 協議 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 162-162 | 子類 LicenseAgreement and 協議 |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 639-639 | 子類 Reservation and 協議 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5892-5892 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5891-5891 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5890-5890 |
|
|
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