No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14071-14076	如果 有认知的主事 有义务去做在 协议 的 命题 道义属性， 然后 有存在 内容承载物理 这样 那个 内容承载物理 contains 那个 命题 的资料 和 那个 协议 是 那个 有认知的主事 的 party 协议
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14099-14105	如果 有认知的主事 有义务去做在 协议 的 命题 允许， 然后 那个 有认知的主事 有权利去做 有存在 实体 这样 那个 实体 表示 那个 命题 的内容 和 那个 有认知的主事 是 那个 实体 的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14090-14097	如果 有认知的主事 有义务去做在 协议 的 命题 禁令， 然后 那个 有认知的主事 doesn't have 有权利去做 有存在 实体 这样 那个 实体 表示 那个 命题 的内容 和 那个 有认知的主事 是 那个 实体 的 agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 738-753	如果 命题 agreement 对于 另一个 命题 的修改日期 有点 时间位置 ， 然后 有存在 另一个 时间位置 这样 那个 另外 时间位置 是 有点 时间位置 的 instance 和 那个 另外 命题 不 是 那个 命题 的 subProposition 在 紧接 那个 另外 时间位置 before holdsDuring 和 那个 另外 命题 是 那个 命题 的 subProposition 在 紧接 那个 另外 时间位置 after holdsDuring 或 那个 另外 命题 是 那个 命题 的 subProposition 在 紧接 那个 另外 时间位置 before holdsDuring 和 那个 另外 命题 不 是 那个 命题 的 subProposition 在 紧接 那个 另外 时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Music.kif 280-287	如果 有认知的主事 是在 Album 上的表演者， 然后 有存在 有内用物体 和 过程 这样 那个 有内用物体 是 Recording 的 instance 和 那个 有内用物体 是 那个 Album 的 member 和 那个 有内用物体 是个 那个 过程 的 record 和 那个 有认知的主事 是 那个 过程 的 agent
No TPTP formula. May not be expressible in strict first order.	Music.kif 261-270	如果 Album 之前是在 时点 被 released ， 然后 有存在 地理区域 和 有点 DataStorageDevice 这样 那个 Album 在 有点 DataStorageDevice 的 set 复制 是 released 对于 sale 在 那个 地理区域 位于 那个 时点 和 不存在 另一个 时点， 另一个 地理区域， and 和 另一个 有点 DataStorageDevice 这样 那个 另外 时点%n在那个 时点before发生 和 那个 Album 在 另一个 有点 DataStorageDevice 的 set 复制 是 released 对于 sale 在 那个 另外 地理区域 位于 那个 另外 时点
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16851-16860	如果 人类 的 almaMater 是 中学后， 然后 有存在 过程 这样 那个 过程 是 教育性过程 的 instance 和 那个 过程 在 那个 人类 结束 和 那个 过程 是 located 在 那个 中学后 和 学生 是 那个 人类 的 attribute 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7740-7745	如果 自身连接物体 的 altitude 是 物理， 然后 有存在 另一个 自身连接物体 这样 那个 另外 自身连接物体 是 那个 自身连接物体 的 top 和 那个 另外 自身连接物体 和 那个 物理 的 distance 是 长度测量
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 487-499	如果 施事体 是 过程 的 agent 和 客体 是 那个 过程 的源头 和 物理 是 那个 过程 的 patient 和 那个 物理 的价值 是 货币测量， 然后 有存在 金融交易 这样 那个 金融交易%n是那个 过程的subProcess 和 那个 金融交易 是 付款 的 instance 和 那个 货币测量 是 那个 金融交易 的 transaction 总额 和 那个 施事体 是 那个 金融交易 的源头 和 那个 金融交易 在 那个 客体 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14078-14088	如果 有认知的主事 有义务去做在 协议 的 命题 道义属性 和 那个 道义属性 equal 义务 或 那个 道义属性 equal 诺言， 然后 有存在 实体 这样 那个 实体 表示 那个 命题 的内容 和 那个 有认知的主事 是 那个 实体 的 agent 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6230-6243	如果 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.	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.	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.	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.	Sports.kif 1364-1371	如果 属性 是 施事体 的 attribute 和 那个 属性 是 ProfessionalAthlete 的 instance， 然后 有存在 比赛 这样 那个 比赛 是 运动 的 instance 和 那个 施事体 participates 在 那个 比赛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29495-29507	如果 Collectible 是 客体 的 attribute 和 那个 客体 的 目的 是 公式， 然后 有存在 有认知的主事 和 那个 公式2 这样 那个 有认知的主事 是 人类 的 instance 和 那个 有认知的主事 wants 那个 客体 和 那个 有认知的主事 desires 那个 公式2 和 那个 公式2 entails 那个 有认知的主事 possesses 那个 客体 和 那个 公式 不 equal 那个 公式2
No TPTP formula. May not be expressible in strict first order.	Food.kif 437-445	如果 DecafAttribute 是 物质 的 attribute 和 那个 物质 是 Food 的 instance， 然后 不存在 另一个 物质 这样 那个 另外 物质 是 Caffeine 的 instance 和 那个 另外 物质 是 那个 物质 的 piece
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 359-365	如果 Healthy 是 哺乳动物 的 attribute 和 restingBreathingRate 那个 哺乳动物 and 整数， 然后 那个 整数 是 greaterThanOrEqualTo 12 和 16 是 greaterThanOrEqualTo 那个 整数
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	如果 穆斯林 是 施事体 的 attribute 和 属于 那个 施事体 的资产值 equal 货币测量， 然后 有存在 实体， 另一个 实体,， ， 第三 实体,， ， 第四 实体， and 和 第五 实体 这样 那个 实体 是 天课 的 instance 和 那个 第四 实体 是 年 的 instance 和 那个 第四 实体 在 那个 施事体 出现 的 time 时段内发生 和 完全成型 是 那个 施事体 的 attribute 在 那个 第四 实体 holdsDuring 和 那个 施事体 是 那个 实体 的 agent 和 那个 另外 实体 是 那个 实体 的 patient 和 那个 另外 实体 的价值 是 那个 第五 实体 那个 第三 实体 和 那个 第三 实体 是 UnitOfCurrency 的 instance 和 那个 第五 实体 是 greaterThan 那个 货币测量 和 0.025 的声明 has 义务 的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30108-30115	如果 Inhabited 是 客体 的 attribute 和 那个 客体 是 地区 的 instance， 然后 有存在 生物 这样 那个 生物 是 人类 的 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