|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14616-14616 | 例 系列卷 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24414-24414 | 例 SubstringFn and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5931-5931 | 例 終端節點 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8410-8410 | 例 時間間隔 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8949-8949 | 例 WeekFn and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3031-3031 | 例 acronym and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2432-2432 | 例 agent and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3421-3421 | 例 agentName and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 697-697 | 例 協議採用日期 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 757-757 | 例 協議有效期間 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23206-23206 | 例 別號 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7701-7701 | 例 高度 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24167-24167 | 例 祖先組織 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1313-1313 | 例 經營範圍 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13771-13771 | 例 原子數 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13085-13085 | 例 出席 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5357-5357 | 例 平均 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16502-16502 | 例 哥哥 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 45-45 | 例 catalogItem and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2194-2194 | 例 coding and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6494-6494 | 例 共軛 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16094-16094 | 例 連接的工程組件 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1016-1016 | 例 包含 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7714-7714 | 例 顧客 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2443-2443 | 例 目的地 and PartialValuedRelation |
| 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