|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20209-20213 | 客体 是 小牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 没有完全形成 是 那个 客体 的 attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8333-8335 | 地缘政治区域 是 城市 的 instance 若且唯若 那个 地缘政治区域 的 Government 是 市政府 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6478-6488 | 实体 是 共轭物质 的 instance 若且唯若 有存在 客体， 另一个 客体， and 和 过程 这样 那个 客体 是 复合物质 的 instance 和 那个 另外 客体 是 复合物质 的 instance 和 那个 客体 不 equal 那个 另外 客体 和 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1321-1326 | 抵押 是 抵押 的 instance 若且唯若 有存在 金融账户 这样 那个 金融账户 是 担保贷款 的 instance 和 那个 抵押 是 那个 金融账户 的 secured |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8080-8085 | 地缘政治区域 是 市区 的 instance 若且唯若 有存在 另一个 地缘政治区域 这样 那个 另外 地缘政治区域 是 城市 的 instance 和 那个 地缘政治区域 是 那个 另外 地缘政治区域 的地缘政治部分 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30094-30098 | 客体 是 DamagedVehicle 的 instance 若且唯若 那个 客体 是 车辆 的 instance 和 DeviceDamaged 是 那个 客体 的 attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20232-20236 | 客体 是 母鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 女 是 那个 客体 的 attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 63-68 | 躯体性物体 是 电脑硬件 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 另外 躯体性物体 是 电脑 的 instance 和 那个 躯体性物体 是 那个 另外 躯体性物体 的 component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8979-8983 | 客体 是 冰 的 instance 若且唯若 那个 客体 是 水 的 instance 和 固体 是 那个 客体 的 attribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1668-1673 | 性能指标 是 通胀指数 的 instance 若且唯若 有存在 抽象体 这样 那个 抽象体 是 Inflation 的 instance 和 那个 性能指标 是 那个 抽象体 的 benchmark |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1696-1701 | 抽象体 是 股票指数 的 instance 若且唯若 有存在 性能指标 这样 那个 性能指标 是 股票 的 instance 和 那个 性能指标 是 那个 抽象体 的 benchmark |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20186-20190 | 客体 是 羔羊 的 instance 若且唯若 那个 客体 是 羊 的 instance 和 没有完全形成 是 那个 客体 的 attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1948-1952 | 实数 是 负实数 的 instance 若且唯若 那个 实数 是 lessThan 0 和 那个 实数 是 实数 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1926-1930 | 实数 是 非负实数 的 instance 若且唯若 那个 实数 是 greaterThanOrEqualTo 0 和 那个 实数 是 实数 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1937-1941 | 实数 是 正实数 的 instance 若且唯若 那个 实数 是 greaterThan 0 和 那个 实数 是 实数 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 108-115 | 机构 是 政府组织 的 instance 若且唯若 那个 机构 是 政府 的 instance 或 有存在 另一个 机构 这样 那个 另外 机构 是 政府 的 instance 和 那个 机构 是 那个 另外 机构 Organization 的一部分 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20241-20245 | 客体 是 公鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 男 是 那个 客体 的 attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8326-8328 | 地缘政治区域 是 州或省 的 instance 若且唯若 那个 地缘政治区域 的 Government 是 州政府 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10944-10950 | 躯体性物体 是 脊椎动物 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 躯体性物体 是 动物 的 instance 和 那个 另外 躯体性物体 是 那个 躯体性物体 的 component 和 那个 另外 躯体性物体 是 脊柱 的 instance |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 155-157 | 实体 是 微分方程 的 instance 若且唯若 那个 实体 是 方程 跟 微分属性 的 attr 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1419-1424 | 按职业期间划分的劳动力比例 地缘政治区域, 属性, 实数 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 在 那个 时间位置 holdsDuring |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1373-1378 | 地缘政治区域 是 对于 有点 时距 在周期 非负实数 的 labor 总力量 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 非负实数 是 那个 地缘政治区域 的 labor 总力量 在 那个 时间位置 holdsDuring |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7758-7766 | 客体 larger 另一个 客体 若且唯若 对所有 实数， 另一个 实数， and 和 测量单位 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 182-189 | 长度测量 是 地理区域 的轨道 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 712-719 | 长度测量 是 地理区域 的原油管线 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| 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