|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17072-17072 | 以上 是 AntiSymmetricPositionalAttribute 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17071-17071 | 以上 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4761-4761 | 绝对值函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4760-4760 | 绝对值函数 是 一元函数 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13713-13713 | Abun语言 是 北鸟头语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 519-519 | Acapella 是 MusicGenre 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13151-13151 | Acatepec tlapaneco 语言 是 subtiaba tlapanec 语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1278-1278 | AccelerationFn 是 四元函数 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1279-1279 | AccelerationFn 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 844-844 | 接受ICJ的管辖权 是 法律制度属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11553-11553 | 住宿和餐饮服务 是 行业属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4468-4468 | AccountActive 是 AccountAttribute 的 instance |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4467-4467 | AccountDeactivated 是 AccountAttribute 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2315-2315 | 帐户 是 一元函数 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21103-21103 | 会计 是 职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8338-8338 | Achterhoeks语言 是 低撒克逊群体语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11526-11526 | Achuar shiwiar 语言 是 jivaroan语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 534-534 | AcidHouse 是 MusicGenre 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 539-539 | AcidJazz 是 MusicGenre 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6823-6823 | 酸雨问题 是 环境问题 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 547-547 | AcidRock 是 MusicGenre 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2799-2799 | AcidicPH 是 内在属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6822-6822 | 酸化问题 是 环境问题 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 553-553 | AcousticMusic 是 MusicGenre 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13689-13689 | 英亩 是 UnitOfArea 的 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