|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17943-17943 | 例 approximateDiameter and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29822-29822 | 例 approximateValue and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2071-2071 | 例 耕地面積 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5962-5962 | 例 弧重 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1311-1311 | 例 經營範圍 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2423-2423 | 例 在組織中關聯 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 340-340 | 例 相關功能 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3028-3028 | 例 在錢 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13791-13791 | 例 原子數 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 444-444 | 例 attorney and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1718-1718 | 例 attribute and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23043-23043 | 例 姑媽 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15476-15476 | 例 作者 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5358-5358 | 例 平均 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17461-17461 | 例 軸 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1052-1052 | 例 帶寬 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3937-3937 | 例 銀行賬戶 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 176-176 | 例 baptizeddate and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 190-190 | 例 baptizedplace and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7835-7835 | 例 氣壓 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1185-1185 | 例 批次到達 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1179-1179 | 例 批量延遲 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8158-8158 | 例 之前或相等 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2808-2808 | 例 相信 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1646-1646 | 例 基準 and BinaryPredicate |
| 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