No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4210-4220	如果 过程 是 Spamming 的 instance 和 那个 过程PAM 是 那个 过程 的 result 和 那个 过程 是 Spam 的 instance 和 另一个 实体 是 人类 的 instance 和 那个 过程 在 那个 另外 实体 结束， 然后 那个 另外 实体 wants 那个 过程PAM 的声明 doesn't have 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1664-1676	如果 过程 是 说话 的 instance 和 客体 是 Jaw 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 客体 是 那个 施事体 的 part， 然后 有存在 实体 这样 那个 实体 是 身体运动 的 instance 和 objectTransferred 那个 实体 and 那个 客体 和 那个 实体 出现 的 time 在 那个 过程 出现 的 time 时段内发生 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9539-9544	如果 实体 是 PlantStem 的 instance 和 另一个 实体 是 植物根 的 instance， 然后 那个 实体 在 那个 另外 实体 的 以上 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	如果 时距 是 TimePeriod 的 instance 和 那个 时距 的 duration 是 实数 分钟 和 那个 实数 是 greaterThan 5.0 和 实体 是 人类 的 instance 和 不存在 过程 这样 那个 过程 是 呼吸 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 实体 是 那个 过程 的 patient， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 死亡 的 instance 和 那个 实体 经历了 那个 另外 实体 和 那个 时距 接着 那个 另外 实体 出现 的 time 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1986-1995	如果 转移 是 Vending 的 instance 和 objectTransferred 那个 转移 and 客体 和 那个 客体 不 是 货币 的 instance， 然后 那个 客体 是 food for 人类 的 instance 或 那个 客体 是 饮料 的 instance 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	如果 过程 是 暴力比赛 的 instance 和 客体 是 那个 过程 的 patient 和 InjuryCausedFn 另一个 有点 过程 是 那个 客体 的 attribute 和 ImpairedBodyPartFn 空中航线 是 那个 客体 的 attribute， 然后 另一个 有点 过程 是 燃烧 的 subclass 或 有存在 实体 这样 另一个 实体 是 受伤 的 instance 和 那个 另外 实体 是 located 在 第三 实体 和 那个 第三 实体 是 面对 的 instance 和 那个 客体 是 那个 另外 实体 的 patient 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1602-1610	如果 过程 是 泣 的 instance 和 施事体 经历了 那个 过程， 然后 Sadness 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time holdsDuring 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Sports.kif 796-805	如果 过程 是 Weightlifting 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 实体 这样 那个 实体 是 无氧运动装置 的 instance 和 那个 实体 是导致 那个 过程 的 instrument 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Dining.kif 295-303	如果 客体 是 Buffet 的 instance 和 Breakfast 是 那个 客体 的 attribute， 然后 对所有 实体 如果 那个 实体 是 那个 客体 的 member， 然后 Breakfast 是 那个 实体 的 attribute 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Food.kif 1706-1716	如果 客体 是 Meal 的 instance 和 Breakfast 是 那个 客体 的 attribute 和 过程 是 进食 的 instance 和 那个 客体 是 那个 过程 的 patient， 然后 有存在 实体 这样 那个 过程 出现 的 time 在 那个 实体 时段内发生 和 那个 实体 是 BreakfastTime 的 instance 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Food.kif 1793-1803	如果 客体 是 Meal 的 instance 和 Dinner 是 那个 客体 的 attribute 和 过程 是 进食 的 instance 和 那个 客体 是 那个 过程 的 patient， 然后 有存在 实体 这样 那个 过程 出现 的 time 在 那个 实体 时段内发生 和 那个 实体 是 DinnerTime 的 instance 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Food.kif 1776-1786	如果 客体 是 Meal 的 instance 和 Lunch 是 那个 客体 的 attribute 和 过程 是 进食 的 instance 和 那个 客体 是 那个 过程 的 patient， 然后 有存在 实体 这样 那个 过程 出现 的 time 在 那个 实体 时段内发生 和 那个 实体 是 LunchTime 的 instance 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1314-1326	如果 Concussion 是 实体 的 attribute doesn't 在 时距 holdsDuring 和 Concussion 是 那个 实体 的 attribute 在 另一个 时距 holdsDuring 和 那个 时距 接着 那个 另外 时距， 然后 无意识 是 那个 实体 的 attribute 在 那个 另外 时距 的开始 holdsDuring 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 354-370	如果 有点 实体 的 price 从 有认知的主事 根据 PricingScheme 是 货币测量 或 unit price 已收费 那个 有认知的主事 在 那个 PricingScheme 底下 对于 函数量 是 有点 实体 和 那个 有点 实体 是 物理 的 subclass 和 另一个 实体 是 那个 有点 实体 的 immediateInstance 和 那个 PricingScheme 是 valid 对于 有点 施事体 和 第三 实体 是 有点 施事体 的 instance， 然后 如果 第四 实体 是 购买 的 instance 和 那个 第三 实体 是 那个 第四 实体 的 agent 和 那个 有认知的主事 是 那个 第四 实体 的源头 和 那个 另外 实体 是 那个 第四 实体 的 patient， 然后 那个 货币测量 是 那个 第四 实体 的 transaction 总额 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 372-387	如果 有点 实体 的 price 从 有认知的主事 根据 PricingScheme 是 货币测量 或 unit price 已收费 那个 有认知的主事 在 那个 PricingScheme 底下 对于 函数量 是 有点 实体 和 那个 有点 实体 是 物理 的 subclass 和 另一个 实体 是 那个 有点 实体 的 immediateInstance 和 那个 PricingScheme 是 valid during 时距 ， 然后 如果 第三 实体 是 出售 的 instance 和 那个 有认知的主事 是 那个 第三 实体 的 agent 和 那个 另外 实体 是 那个 第三 实体 的 patient， 然后 那个 货币测量 是 那个 第三 实体 的 transaction 总额 的声明 has 容易 的语气 在 那个 时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 430-445	如果 有认知的主事 sells 有点 实体 對於 实数 测量单位 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 有点 实体 的 price 从 那个 有认知的主事 根据 PricingScheme 是 另一个 实数 那个 测量单位 和 那个 PricingScheme 是 valid 对于 有点 施事体 和 另一个 实体 是 那个 有点 实体 的 instance 和 过程 是 购买 的 instance 和 另一个 施事体 是 有点 施事体 的 immediateInstance 和 那个 另外 施事体 是 那个 过程 的 agent 和 那个 有认知的主事 是 那个 过程 的源头 和 那个 另外 实数 是 lessThan 那个 实数， 然后 那个 实数 是 那个 过程 的 transaction 总额 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Dining.kif 711-724	如果 Reservation starts 在 时点 和 那个 Reservation ends 在 另一个 时点 和 施事体 reserves 那个 Reservation 和 另一个 施事体 fulfills 那个 Reservation ， 然后 有存在 实体 这样 那个 实体 是 有意图过程 的 instance 和 那个 另外 施事体 是 那个 实体 的 agent 和 那个 实体 在 那个 施事体 结束 在 那个 时点 和 那个 另外 时点 间的时段 holdsDuring 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2973-2981	如果 Reservation 是 对于 命题 的 reservation 和 那个 Reservation reserves 另一个 Reservation ， 然后 有存在 实体 这样 那个 实体 表示 那个 命题 的内容 和 那个 另外 Reservation 经历了 那个 实体 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2951-2963	如果 HotelReservation 是对于 有点 HotelUnit 的 reservation 和 Reservation starts 在 那个 HotelReservation 和 另一个 Reservation ends 在 那个 HotelReservation 和 那个 HotelReservation reserves 第三 Reservation ， 然后 有存在 实体 这样 那个 实体 是 有点 HotelUnit 的 instance 和 那个 第三 Reservation stays 在 那个 实体 在 那个 Reservation 和 那个 另外 Reservation 间的时段 holdsDuring 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Food.kif 479-488	如果 roastedToTemperature Food and 实数 和 那个 Food 是 咖啡豆 的 instance 和 那个 实数 是 实数 的 instance， 然后 有存在 实体 这样 那个 实体 是 DryRoasting 的 instance 和 那个 Food 是 那个 实体 的 patient 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15166-15187	如果 类 是 身体组织 的 subclass 和 另一个 类 是 身体组织 的 subclass 和 客体 是 那个 类 的 instance 和 另一个 客体 是 那个 另外 类 的 instance 和 第三 客体 是 人类 的 instance 和 那个 客体 是 那个 第三 客体 的 part 和 那个 另外 客体 是 那个 第三 客体 的 part 和 那个 类 不 equal 那个 另外 类 和 那个 类 不 是 那个 另外 类 的 subclass 和 那个 另外 类 不 是 那个 类 的 subclass 和 那个 客体 在 那个 另外 客体 的 邻， 然后 有存在 实体 这样 那个 实体 是 ConnectiveTissue 的 instance 和 那个 实体 是在 那个 客体 和 那个 另外 客体 between 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1257-1271	如果 使用者 施事体 在 WebSite 是 watching 群体 和 过程 是 WebListing 的 instance 和 实体 是 客体 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 过程 是 那个 群体 的 member， 然后 那个 施事体 desires 有存在 另一个 实体 这样 那个 另外 实体 是 购买 的 instance 和 那个 实体 是 那个 另外 实体 的 patient 和 那个 施事体 是 那个 另外 实体 的 agent 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20535-20543	如果 workLocation 机构 and 固定人工制品 和 施事体 是 那个 机构 的 member 和 过程 是 工作的 的 instance 和 那个 施事体 是 那个 过程 的 agent， 然后 那个 过程 是 located 在 那个 固定人工制品 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29841-29845	如果 approximateValue 实数 and 另一个 实数， 然后 那个 实数 equal 那个 另外 实数 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5065-5074	如果 Pyelonephritis 是 客体 的 attribute， 然后 有存在 实体 和 另一个 实体 这样 那个 实体 是 细菌 的 instance 和 那个 另外 实体 是 肾 的 instance 和 那个 另外 实体 是 那个 客体 的 part 和 那个 实体 是 located 在 那个 另外 实体 的声明 has 容易 的语气
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