No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	如果 Image 是在 Album 的 image 和 客体 是 那个 Album 在 有点 DataStorageDevice 的 set 复制 的 instance 和 自身连接物体 contains 那个 客体， 然后 那个 Image 是 那个 自身连接物体 的前面 的 part 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	如果 allergic 人类 and 有点 物质 和 有点 物质UB 是 那个 有点 物质 的 instance 和 那个 有点 物质UB 接上 那个 人类 在 时间位置 holdsDuring， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 AllergicReaction 的 instance 和 那个 人类 经历了 那个 另外 实体 和 那个 另外 实体 出现 的 time 时段 和 那个 时间位置 重叠 和 那个 时间位置 的开始%n在那个 另外 实体 出现 的 time 的开始before发生 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7596-7611	如果 amount 有点 物质, 躯体性物体 and 实数 UnitOfMass 和 有点 物质I 是 那个 有点 物质 的 instance 和 那个 有点 物质I 的 measure 是 那个 实数2 那个 UnitOfMass 和 那个 有点 物质I 是 那个 躯体性物体 的 part， 然后 有存在 串列 这样 那个 实数2 那个 UnitOfMass 是 那个 串列 的 member 和 那个 串列 equal AmountsFn 那个 有点 物质, 那个 躯体性物体 and 那个 UnitOfMass 和 那个 实数 equal ListSumFn 那个 串列
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	如果 金融账户 对于 时间位置 到期的 amount 货币测量 和 有认知的主事 持有 account 那个 金融账户 ， 然后 那个 有认知的主事 有义务执行 符号串 所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10685-10696	如果 antagonistMuscles 有点 肌肉 and 另一个 有点 肌肉 和 过程 是 Extension 的 instance 和 有点 肌肉C 是导致 那个 过程 的 instrument 和 移动 运动 and 另一个 有点 肌肉C 和 那个 有点 肌肉C 是 那个 有点 肌肉 的 instance 和 那个 另外 有点 肌肉C 是 那个 另外 有点 肌肉 的 instance 和 那个 有点 肌肉C 是 第三 客体 的 part 和 那个 另外 有点 肌肉C 是 那个 第三 客体 的 part 和 那个 第三 客体 是 哺乳动物 的 instance， 然后 那个 另外 有点 肌肉C 能够担当 工具 的角色做 Flexion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10672-10683	如果 antagonistMuscles 有点 肌肉 and 另一个 有点 肌肉 和 运动 是 Flexion 的 instance 和 有点 肌肉C 是导致 那个 运动 的 instrument 和 移动 那个 运动 and 另一个 有点 肌肉C 和 那个 有点 肌肉C 是 那个 有点 肌肉 的 instance 和 那个 另外 有点 肌肉C 是 那个 另外 有点 肌肉 的 instance 和 那个 有点 肌肉C 是 第三 客体 的 part 和 那个 另外 有点 肌肉C 是 那个 第三 客体 的 part 和 那个 第三 客体 是 哺乳动物 的 instance， 然后 那个 另外 有点 肌肉C 能够担当 工具 的角色做 Extension
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31387-31394	如果 applicableRelation 客体 and 关系 和 那个 客体 是 那个 客体C 的 instance 和 那个 关系 的 1 数量 是 另一个 类 的 instance， 然后 那个 客体C equal 那个 另外 类 或 那个 客体C 是 那个 另外 类 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17948-17959	如果 1 的 approximate diameter 是 %2 和 客体 的 radius 是 实数 和 2.0 那个 实数M 和 那个 客体 的 measure 是 另一个 实数 另一个 测量单位 和 自身连接物体 的 measure 是 第三 实数 那个 另外 测量单位 和 那个 实数M 是 UnitOfLength 的 instance 和 那个 另外 测量单位 是 UnitOfVolume 的 instance， 然后 那个 另外 实数 equal 那个 第三 实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2090	如果 实数 测量单位 是 地理区域 的 arable 土地 和 那个 实数 是 greaterThanOrEqualTo 0.0 和 另一个 实数 那个 测量单位 是 那个 地理区域 的 total 區域 和 那个 另外 实数 是 面积测量 的 instance 和 第三 实数 equal 那个 实数 和 那个 另外 实数， 然后 那个 第三 实数 那个 测量单位 是 那个 地理区域 的 arable 土地
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	如果 实数 测量单位 是 地理区域 的 arable 土地 和 那个 实数 是 greaterThanOrEqualTo 0.0 和 另一个 实数 那个 测量单位 是 那个 地理区域 的 total 區域 和 那个 测量单位 是 UnitOfArea 的 instance， 然后 有存在 另一个 地理区域 这样 那个 另外 地理区域 是 耕地 的 instance 和 那个 另外 地理区域 是 那个 地理区域 的 geographic 次要地区 和 那个 另外 地理区域 的 measure 是 那个 实数 和 那个 另外 实数 那个 测量单位
No TPTP formula. May not be expressible in strict first order.	Government.kif 148-152	如果 政体 是 地缘政治区域 的 Government 的 attribute 和 那个 政体 是 政体 的 instance， 然后 %2 是 1% 的 government 类别
No TPTP formula. May not be expressible in strict first order.	Music.kif 478-482	如果 属性 是 客体 的 attribute 和 那个 属性 是 AlbumAttribute 的 instance， 然后 那个 客体 是 Album 的 instance
No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	如果 AppraisalAsJustTreatment 是 有认知的主事 的 attribute 和 那个 有认知的主事JT 是 AppraisalProcess 的 instance 和 那个 有认知的主事 是 那个 有认知的主事JT 的 agent， 然后 有存在 另一个 过程 和 那个 有认知的主事2 这样 那个 另外 过程 是 过程 的 instance 和 那个 有认知的主事JT 提到 那个 另外 过程 和 那个 有认知的主事2 是 那个 另外 过程 的 agent 和 那个 有认知的主事 不 equal 那个 有认知的主事2 和 那个 有认知的主事 是 那个 另外 过程 的 patient 和 那个 有认知的主事 wants 那个 另外 过程
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	如果 AppraisalAsUnjustTreatment 是 有认知的主事 的 attribute 和 那个 有认知的主事UJ 是 AppraisalProcess 的 instance 和 那个 有认知的主事 是 那个 有认知的主事UJ 的 agent， 然后 有存在 另一个 过程 和 那个 有认知的主事2 这样 那个 另外 过程 是 过程 的 instance 和 那个 有认知的主事UJ 提到 那个 另外 过程 和 那个 有认知的主事2 是 那个 另外 过程 的 agent 和 那个 有认知的主事 不 equal 那个 有认知的主事2 和 那个 有认知的主事 是 那个 另外 过程 的 patient 和 那个 有认知的主事 doesn't wants 那个 另外 过程
No TPTP formula. May not be expressible in strict first order.	Biography.kif 223-230	如果 Founder 是 施事体 的 attribute 和 那个 施事体 是 人类 的 instance， 然后 有存在 过程 这样 那个 过程 是 创建 的 instance 和 那个 施事体 是 那个 过程 的 agent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4373-4382	如果 TwoFactorAuthentication 是 用户帐号 的 attribute 和 loggedInDuring 施事体, 那个 用户帐号 and 时距， 然后 有存在 那个 时距F 这样 那个 时距F 是 TwoFactorLoggingIn 的 instance 和 那个 施事体 是 那个 时距F 的 agent 和 accountUsed 那个 时距F and 那个 用户帐号 和 那个 时距F 出现 的 time 比那个 时距发生的earlier
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 648-652	如果 属性 是 客体 的 attribute 和 那个 属性 是 AccountAttribute 的 instance， 然后 那个 客体 是 用户帐号 的 instance
No TPTP formula. May not be expressible in strict first order.	Biography.kif 757-776	如果 配音演员 是 施事体 的 attribute 和 过程 是 戏剧表演 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 另一个 过程 是 语言交流 的 instance 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程%n是那个 过程的subProcess， 然后 不存在 第三 过程 和 另一个 施事体 这样 那个 第三 过程 是 看 的 instance 和 那个 施事体 是 那个 第三 过程 的 patient 和 那个 另外 施事体 是 那个 第三 过程 的 agent 和 有存在 第四 过程 和 那个 另外 施事体 这样 那个 第四 过程 是 听 的 instance 和 那个 施事体 是 那个 第四 过程 的 patient 和 那个 另外 施事体 是 那个 第四 过程 的 agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1774-1779	如果 机构 的 member 是 客体 的 attribute 和 那个 客体 是 施事体 的 instance 和 那个 机构 是 机构 的 instance， 然后 那个 客体 是 那个 机构 的 member
No TPTP formula. May not be expressible in strict first order.	Economy.kif 865-869	如果 共产主义国家 是 施事体 的 attribute 和 那个 施事体 是 国家 的 instance， 然后 中央计划经济 是 那个 施事体 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1754-1759	如果 平坦的地形 是 客体 的 attribute 和 土地面积 是 那个 客体 的 part 和 非负实数 是 那个 土地面积 的 slope 梯度， 然后 0.005 是 greaterThan 那个 非负实数
No TPTP formula. May not be expressible in strict first order.	Economy.kif 506-510	如果 高收入国家 是 施事体 的 attribute 和 那个 施事体 不 是 石油输出国组织 的 member， 然后 发达国家 是 那个 施事体 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1766-1771	如果 低地形 是 客体 的 attribute 和 土地面积 是 那个 客体 的 part 和 非负实数 是 那个 土地面积 的 slope 梯度， 然后 0.03 是 greaterThan 那个 非负实数
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1363-1370	如果 属性 是 施事体 的 attribute 和 那个 属性 是 ProfessionalAthlete 的 instance， 然后 有存在 比赛 这样 那个 比赛 是 运动 的 instance 和 那个 施事体 participates 在 那个 比赛
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1357-1361	如果 属性 是 施事体 的 attribute 和 那个 属性 是 ProfessionalAthlete 的 instance， 然后 那个 施事体 hasSkill 去做 运动
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