No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10943-10949	躯体性物体 是 脊椎动物 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 躯体性物体 是 动物 的 instance 和 那个 另外 躯体性物体 是 那个 躯体性物体 的 component 和 那个 另外 躯体性物体 是 脊柱 的 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.	People.kif 1566-1577	百分之 实数 的人在 地理区域 speak 语言 若且唯若 有存在 群体， 另一个 群体,， ， 有感知的主事,， ， 那个 有感知的主事2,， ， 那个 实数1， and 和 那个 实数2 这样 那个 有感知的主事 是 located 在 那个 地理区域 和 那个 有感知的主事 是 那个 群体 的 member 和 那个 语言 是 那个 有感知的主事 的 speaks 语言 和 那个 实数1 是 那个 群体 的 member 计数 和 那个 有感知的主事2 是 located 在 那个 地理区域 和 那个 有感知的主事2 是 那个 另外 群体 的 member 和 那个 实数2 是 那个 另外 群体 的 member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1233-1238	地缘政治区域 对于 有点 时距 在周期 实数 的 lowest 平分家庭收入 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 lowest 平分家庭收入 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30284-30298	过程 是以 Harmless 的形式发生 若且唯若 那个 过程 不 是 损坏 的 instance 和 不存在 那个 过程2 这样 那个 过程2 是 损坏 的 instance 和 那个 过程2%n是那个 过程的subProcess 和 不存在 那个 过程2 这样 那个 过程2 是 损坏 的 instance 和 那个 过程 causes 那个 过程2
No TPTP formula. May not be expressible in strict first order.	Military.kif 1019-1024	地缘政治区域 是 对于 时距 在周期 实数 的 military 部分GDP支出 若且唯若 有存在 时间位置 这样 那个 时间位置 是 那个 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 的 military 部分GDP支出 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Military.kif 980-985	地缘政治区域 是 对于 时距 在周期 货币测量 的 military 美元花费 若且唯若 有存在 时间位置 这样 那个 时间位置 是 那个 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 military 在美元的花费 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13849-13856	公式 的声明 has 合法 的语气 若且唯若 不存在 另一个 公式 这样 那个 另外 公式 的声明 has 法 的语气 和 那个 另外 公式 不 是 那个 公式 的 consistent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3283-3288	人类 有 monthly income 货币测量 若且唯若 有存在 时距 这样 那个 时距 是 月 的 instance 和 那个 人类 对于 那个 时距 income 那个 货币测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23108-23113	人 是 人类 的 nephew 若且唯若 有存在 生物 这样 那个 生物 是 那个 人类 的 sibling 和 那个 人 是 那个 生物 的 son
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23122-23127	女人 是 人类 的 niece 若且唯若 有存在 生物 这样 那个 生物 是 那个 人类 的 sibling 和 那个 女人 是 那个 生物 的 daughter
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1042-1047	地缘政治区域 是 对于 时距 在周期 货币测量 的 per 人头 GDP 若且唯若 有存在 时间位置 这样 那个 时间位置 是 那个 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 per 人头 GDP 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1184-1189	地缘政治区域 对于 有点 时距 在周期 实数 在贫困标准下的 population 部分 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 在贫困标准下的 population 部分 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13207-13212	客体 是 另一个 客体 的 quarter 若且唯若 有存在 第三 客体 这样 那个 第三 客体 是 那个 另外 客体 的 half 和 那个 客体 是 那个 第三 客体 的 half
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1007-1012	地缘政治区域 是 对于 ％３ 在周期 ％２ 的 real ＧＤＰ 的成长速率 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 实数 是 那个 地缘政治区域 的 real GDP 成长速率 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1086-1091	地缘政治区域 是 对于 实数 和 有点 时距 在 周期 行业属性 的 GDP sector 组成 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 是 对于 那个 实数 的 GDP 那个 行业属性 sector 组成 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1129-1137	地缘政治区域 是 实数 测量单位 和 有点 时距 在 周期 行业属性 的 sector GDP 价值 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 是 对于 那个 实数 那个 测量单位 的 sector GDP 价值 那个 行业属性 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23151-23158	人 是 人类 的 stepfather 若且唯若 有存在 另一个 人类 这样 那个 另外 人类 是 那个 人类 的 mother 和 那个 人 是 那个 另外 人类 的 spouse 和 那个 人 不 是 那个 人类 father
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23168-23175	女人 是 人类 的 stepfather 若且唯若 有存在 另一个 人类 这样 那个 另外 人类 是 那个 人类 father 和 那个 女人 是 那个 另外 人类 的 spouse 和 那个 女人 不 是 那个 人类 的 mother
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1277-1287	地理区域 是 对于 非负整数 在地区 和 机场有着铺设跑道 对应的 Class 的 total 设施类别 若且唯若 有存在 符号串 和 实体 这样 那个 非负整数 是 那个 符号串 所描述的类别 的 cardinality
No TPTP formula. May not be expressible in strict first order.	Economy.kif 958-963	地缘政治区域 是 对于 有点 时距 在 周期 货币测量 的 totalGDP 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 total GDP 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23136-23141	人类 的 uncle 是 人 若且唯若 有存在 另一个 人类 这样 那个 人 是 那个 另外 人类 的 brother 和 那个 另外 人类 是 那个 人类 的 parent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1456-1461	地缘政治区域 是 对于 有点 时距 在周期 实数 地区的 unemployment 比例 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 是 对于 在地区 那个 实数 的 unemployment 比例 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 968-975	整数 是 机构 的 year 资金 若且唯若 有存在 过程 和 那个 整数EAR 这样 那个 整数EAR 时段 和 那个 过程 出现 的 time 重叠 和 那个 整数EAR 是 那个 整数 year 的 instance 和 那个 过程 是 创建 的 instance 和 那个 机构 是 那个 过程 的 result
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