|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 932-932 | adjacentOrientation 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 382-382 | 行政中心 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4012-4012 | 管理员 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 183-183 | advertisedOn 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24139-24139 | 附属组织 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7518-7518 | 年龄 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3419-3419 | agentName 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2234-2234 | 代理人在区域内经营 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 695-695 | 协议采用日期 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14023-14023 | 协议生效日期 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 755-755 | 协议有效期间 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14048-14048 | 截止日期 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14009-14009 | 协议期限 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2230-2230 | 农产品类型 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2584-2584 | 组织的目标 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 3091-3091 | airQualityIndex 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25672-25672 | 气温 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 272-272 | albumArtist 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 303-303 | albumCoverImage 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 324-324 | albumLength 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 253-253 | albumRelease 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 333-333 | albumTrack 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 289-289 | albumType 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23204-23204 | 别号 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 163-163 | allRoomsPhysicalAmenity 是 二元谓语 的 instance |
| 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