No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2610-2619	如果 Policy 是 SmokingAllowedPolicy 的 instance 和 那个 Policy covers 客体 和 机构 enacts policy 那个 Policy ， 然后 那个 机构 confers 规范 有存在 实体 这样 那个 实体 是 抽烟 的 instance 和 那个 实体 是 located 在 那个 客体 对于 允许
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2489-2505	如果 Policy 是 SmokingPolicy 的 instance 和 那个 Policy covers 客体 ， 然后 那个 Policy contains 有存在 实体 这样 那个 实体 是 抽烟 的 instance 和 那个 实体 是 located 在 那个 客体 的声明 has 允许 的语气 的资料 或 那个 Policy contains 有存在 另一个 实体 这样 那个 另外 实体 是 抽烟 的 instance 和 那个 另外 实体 是 located 在 那个 客体 的声明 has 禁令 的语气 的资料
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11427-11434	如果 过程 是 放 的 instance 和 那个 过程 在 实体 结束 和 另一个 实体 是 那个 过程 的 patient， 然后 那个 另外 实体 不 是 located 在 那个 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 另外 实体 是 located 在 那个 实体 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5778-5797	如果 过程 是 缓解疼痛 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 物理 这样 紧接 那个 过程 出现 的 time before 时段 和 那个 物理 出现 的 time 重叠 和 那个 物理 是 痛 的 instance 和 那个 物理 是 located 在 那个 客体 和 不存在 另一个 物理 这样 紧接 那个 过程 出现 的 time after 时段 和 那个 另外 物理 出现 的 time 重叠 和 那个 另外 物理 是 痛 的 instance 和 那个 另外 物理 是 located 在 那个 客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17444-17455	如果 过程 是 旋转 的 instance 和 实体 是 那个 过程 的 patient， 然后 有存在 另一个 实体 这样 那个 实体 是 located 在 那个 另外 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 是 located 在 那个 另外 实体 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11406-11413	如果 过程 是 移除 的 instance 和 客体 是 那个 过程 的源头 和 实体 是 那个 过程 的 patient， 然后 那个 实体 是 located 在 那个 客体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 不 是 located 在 那个 客体 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17265-17273	如果 过程 是 返回 的 instance 和 施事体 经历了 那个 过程 和 那个 过程 在 实体 结束， 然后 有存在 时距 这样 那个 时距 比那个 过程 出现 的 time发生的earlier 和 那个 施事体 是 located 在 那个 实体 在 那个 时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16226-16238	如果 过程 是 法律传票 的 instance 和 内容承载物理 是 那个 过程 的 patient 和 那个 过程 在 实体 结束， 然后 有存在 另一个 实体 和 第三 实体 这样 那个 另外 实体 是 法庭室 的 instance 和 那个 内容承载物理 contains 那个 实体 是 located 在 那个 另外 实体 在 那个 第三 实体 holdsDuring 的声明 has 法 的语气 的资料
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13006-13019	如果 过程 是 Searching 的 instance 和 物理 是 那个 过程 的 patient 和 那个 物理 是 物理 的 instance， 然后 有存在 客体 和 施事体 这样 那个 施事体 是 有认知的主事 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 客体 是 客体 的 instance 和 那个 物理 是 located 在 那个 客体 和 那个 施事体 在 那个 过程 的 目的 是 那个 施事体 knows 那个 物理 是 located 在 那个 客体
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1613-1621	如果 过程 是 Seizure 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 客体 这样 那个 客体 是 脑 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 过程 是 located 在 那个 客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11933-11944	如果 过程 是 Stroke 的 instance 和 客体 是 脑 的 instance 和 那个 过程 是 located 在 那个 客体， 然后 有存在 物理 和 另一个 过程 这样 那个 物理 是 神经细胞 的 instance 和 那个 物理 是 located 在 那个 客体 和 那个 另外 过程 是 摧毁 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 物理 是 那个 另外 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11196-11203	如果 过程 是 游泳 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 客体 这样 那个 客体 是 水域 的 instance 和 那个 施事体 是 located 在 那个 客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18290-18300	如果 过程 是 擅闯 的 instance 和 施事体 是 那个 过程 的 agent 和 客体 是 那个 过程 的 patient， 然后 那个 施事体 doesn't possesses 那个 客体 和 那个 施事体 是 located 在 那个 客体 的声明 has 非法 的语气
No TPTP formula. May not be expressible in strict first order.	Weather.kif 783-790	如果 过程 是 台风 的 instance 和 那个 过程 是 located 在 客体 和 那个 客体 是 地理区域 的 instance， 然后 那个 客体 是 located 在 NorthwesternPacificOcean 或 那个 客体 接上 NorthwesternPacificOcean
No TPTP formula. May not be expressible in strict first order.	Weather.kif 689-702	如果 过程 是 热带气旋 的 instance 和 那个 过程 在 物理 结束 和 那个 物理 是 地理区域 的 instance， 然后 不存在 客体， 另一个 物理， and 和 实数 这样 那个 客体 是 土地面积 的 instance 和 那个 另外 物理 是 海岸线 的 instance 和 那个 物理 是 located 在 那个 客体 和 那个 客体 和 那个 另外 物理 的 distance 是 那个 实数 英里 和 那个 实数 是 greaterThan 200.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 623-642	如果 过程 是 热带氣旋系统 的 instance 和 客体 是 那个 过程 的源头 和 那个 客体 是 北大西洋 的 instance 或 那个 客体 是 太平洋 的 instance 或 那个 客体 是 印度洋 的 instance， 然后 不存在 另一个 客体， 方向属性,， ， 实数， and 和 经度 这样 那个 另外 客体 是 located 在 那个 客体 和 那个 方向属性 是 方向属性 的 instance 和 那个 另外 客体 是 对于 那个 经度 的 object 地理座标 那个 实数 圆周角度 的 region 那个 方向属性 和 那个 方向属性 equal 北 或 那个 方向属性 equal 南 和 那个 实数 是 lessThan 5.0
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1841-1858	如果 客体 是 购买 的 instance 和 CBT 是 那个 客体 的 attribute 和 实体 是 那个 客体 的 patient 和 那个 实体 是 客体 的 instance， 然后 有存在 另一个 客体， 施事体,， ， 那个 施事体_LOCATION， and 和 那个 另外 客体_LOCATION 这样 那个 施事体 是 施事体 的 instance 和 那个 另外 客体 是 施事体 的 instance 和 那个 施事体 是 那个 客体 的 agent 和 那个 另外 客体 是 那个 客体 的源头 和 那个 施事体_LOCATION 是 地缘政治区域 的 instance 和 那个 另外 客体_LOCATION 是 地缘政治区域 的 instance 和 那个 另外 客体 是 located 在 那个 另外 客体_LOCATION 和 那个 施事体 是 located 在 那个 施事体_LOCATION 和 那个 施事体_LOCATION 不 equal 那个 另外 客体_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1822-1839	如果 客体 是 出售 的 instance 和 CBT 是 那个 客体 的 attribute 和 实体 是 那个 客体 的 patient 和 那个 实体 是 客体 的 instance， 然后 有存在 施事体， 物理,， ， 那个 物理_LOCATION， and 和 那个 施事体_LOCATION 这样 那个 物理 是 施事体 的 instance 和 那个 施事体 是 施事体 的 instance 和 那个 客体 在 那个 物理 结束 和 那个 施事体 是 那个 客体 的 agent 和 那个 物理_LOCATION 是 地缘政治区域 的 instance 和 那个 施事体_LOCATION 是 地缘政治区域 的 instance 和 那个 施事体 是 located 在 那个 施事体_LOCATION 和 那个 物理 是 located 在 那个 物理_LOCATION 和 那个 物理_LOCATION 不 equal 那个 施事体_LOCATION
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16014-16020	如果 客体 是 车辆 的 instance 和 过程 是 易位 的 instance 和 那个 客体 是导致 那个 过程 的 instrument 和 那个 过程 在 实体 结束， 然后 那个 客体 是 located 在 那个 实体 在 那个 过程 出现 的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16006-16012	如果 客体 是 车辆 的 instance 和 过程 是 易位 的 instance 和 那个 客体 是导致 那个 过程 的 instrument 和 另一个 客体 是 那个 过程 的源头， 然后 那个 客体 是 located 在 那个 另外 客体 在 那个 过程 出现 的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3603-3617	如果 电脑程序 是 反安装 的 instance 和 时距 equal 那个 电脑程序 出现 的 time 和 数字数据 是由 那个 电脑程序 processed 和 那个 数字数据 是 电脑程序 的 instance 和 那个 电脑程序 是 located 在 客体， 然后 有存在 另一个 电脑程序 和 另一个 时距 这样 那个 另外 电脑程序 是 安装 的 instance 和 那个 另外 时距 equal 那个 另外 电脑程序 出现 的 time 和 那个 数字数据 是由 那个 另外 电脑程序 processed 和 那个 数字数据 是 电脑程序 的 instance 和 那个 另外 电脑程序 是 located 在 那个 客体 和 那个 另外 时距 比那个 时距发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7067-7076	如果 客体 是 商业单位 的 instance 和 物理 是 机构 的 instance 和 那个 物理 是 located 在 那个 客体， 然后 不存在 另一个 物理 这样 那个 另外 物理 是 机构 的 instance 和 那个 另外 物理 是 located 在 那个 客体 和 那个 另外 物理 不 equal 那个 物理
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.	Mid-level-ontology.kif 21412-21426	如果 过程 是 Vomiting 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 客体 和 实体 这样 那个 客体 是 胃 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 实体 是 located 在 那个 客体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 不 是 located 在 那个 施事体 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21451-21467	如果 过程 是 Vomiting 的 instance 和 实体 是 Vomit 的 instance 和 那个 实体 是 那个 过程 的 patient 和 施事体 经历了 那个 过程， 然后 有存在 客体 这样 那个 客体 是 胃 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 实体 是 located 在 那个 客体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 不 是 located 在 那个 施事体 在 那个 过程 出现 的 time 的结束 holdsDuring
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