|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4007-4007 | ActiveAccount 是 FinancialAccountStatus 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14108-14108 | ActiveAgreement 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18804-18804 | Actor 是 娱乐专业 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 352-352 | 精算师 是 职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 163-163 | Adamorobe手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1392-1392 | 阿达纳土耳其 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1394-1394 | 亚的斯亚贝巴埃塞俄比亚 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4708-4708 | 加法函数 是 结合函数 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4707-4707 | 加法函数 是 二元函数 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4709-4709 | 加法函数 是 交换函数 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4711-4711 | 加法函数 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 222-222 | 地址 是 一元函数 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1396-1396 | 腺也门 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17097-17097 | 邻 是 SymmetricPositionalAttribute 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15227-15227 | AdjoiningRoom 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2625-2625 | 行政和管理 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10298-10298 | 行政和支持以及废物管理和补救服务 是 行业属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19021-19021 | 上将 是 政府立场 的 instance |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2938-2938 | Adobe 是 法人财团 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1398-1398 | 阿多拉西岸 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 350-350 | 发达的先进国家 是 经济发展水平 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 527-527 | 发达经济 是 IMF发展水平 的 instance |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1188-1188 | 复临 是 基督教 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2490-2490 | 咨询委员会 是 会员身份 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 433-433 | 航空工程师 是 熟练的职业 的 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