No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	如果 客体 是 盔甲 的 instance 和 那个 客体 是 另一个 客体 的 part 或 那个 客体 接上 那个 另外 客体， 然后 那个 客体 的 目的 是 不存在 实体 这样 那个 实体 是 损坏 的 instance 和 那个 客体 是导致 那个 实体 的 instrument 和 那个 另外 客体 经历了 那个 实体
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6304-6313	如果 过程 是 Asphyxiation 的 instance 和 施事体 经历了 那个 过程， 然后 不存在 实体 这样 那个 实体 是 呼吸 的 instance 和 那个 过程 经历了 那个 实体 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30230-30241	如果 施事体 是 施事体 的 instance 和 Motionless 是 那个 施事体 的 attribute 在 时距 holdsDuring， 然后 不存在 过程 这样 那个 过程 是 身体运动 的 instance 和 那个 过程 是 有意图过程 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 过程 出现 的 time 在 那个 时距 时段内发生
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1008-1019	如果 过程 是 LocalAnesthetizing 的 instance 和 那个 过程 是 located 在 客体 和 那个 客体 是 身体部位 的 instance 和 那个 客体 是 另一个 客体 的 part 和 那个 另外 客体 是 那个 过程 的 patient， 然后 PainFn 那个 客体 不 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 983-992	如果 过程 是 Sedating 的 instance 和 实体 是 那个 过程 的 patient， 然后 Conscious 是 那个 实体 的 attribute 和 焦虑 不 是 那个 实体 的 attribute 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2440-2445	如果 过程 是 由 施事体 中止的 军事行动 任务 的 instance 和 那个 施事体CTION causes 那个 过程 和 实体_A 是 那个 施事体CTION 的 agent 和 另一个 实体_A 是 那个 军事行动 的 agent， 然后 enemy 那个 实体_A and 那个 另外 实体_A
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2268-2277	如果 时距 是 ActivatingUIElement 的 instance 和 实体 是 那个 时距 的 patient 和 那个 实体 是 GUIElement 的 instance， 然后 那个 实体 有 state GUE_ActiveState 在 那个 时距 的结束 holdsDuring 和 不 那个 实体 有 state GUE_ActiveState 在 那个 时距 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2332-2343	如果 时距 是 BringingGEToFront 的 instance 和 实体 是 那个 时距 的 patient 和 那个 实体 是 InterfaceWindow 的 instance 和 那个 实体 有 state 属性 在 那个 时距 的开始 holdsDuring 和 那个 属性 是 GUE_UncoveredState 的相反， 然后 不 那个 实体 有 state 那个 属性 在 那个 时距 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2761-2772	如果 过程 是 DownloadingNonAudioVideoImageUserFile 的 instance 和 实体 是 那个 过程 的 patient 和 那个 实体 是 电脑文件 的 instance， 然后 那个 实体 不 是 图像文件 的 instance 和 那个 实体 不 是 AudioFile 的 instance 和 那个 实体 不 是 MultimediaFile 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 211-217	如果 自身连接物体 是 人类成人 的 instance 和 那个 自身连接物体 的 height 是 实数 英寸， 然后 那个 实数 不 是 greaterThan 120.0
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2200-2216	如果 过程 是 AutoImmuneDisorder 的 instance 和 有认知的主事 经历了 那个 过程， 然后 有存在 客体， 另一个 过程， and 和 另一个 客体 这样 那个 客体 是 抗体 的 instance 和 那个 客体 是 那个 有认知的主事 的 part 和 那个 另外 客体 是 细胞 的 instance 和 那个 另外 客体 是 那个 有认知的主事 的 part 和 那个 另外 过程 是 摧毁 的 instance 和 那个 客体 是导致 那个 另外 过程 的 instrument 和 那个 有认知的主事 doesn't desires 那个 另外 过程 是 摧毁 的 instance 和 那个 客体 是导致 那个 另外 过程 的 instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12678-12691	如果 过程 是 形状变化 的 instance 和 实体 是 那个 过程 的 patient， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 形状属性 的 instance 和 那个 另外 实体 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 另外 实体 不 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring 或 那个 另外 实体 不 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 另外 实体 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12638-12651	如果 过程 是 表面变化 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体 和 实体 这样 那个 另外 客体 是 那个 客体 的 superficialPart 和 那个 实体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 不 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring 或 那个 实体 不 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 487-499	如果 过程 是 走动 的 instance 和 时距 equal 那个 过程 出现 的 time， 然后 有存在 另一个 过程 和 第三 过程 这样 那个 另外 过程 是 步进 的 instance 和 那个 第三 过程 是 步进 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 第三 过程%n是那个 过程的subProcess 和 那个 另外 过程 出现 的 time starts了才到 那个 时距 和 那个 第三 过程 出现 的 time finishes了才到 那个 时距 和 那个 另外 过程 不 equal 那个 第三 过程
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1964-1975	如果 地理区域 是 地理区域 的 instance 和 那个 地理区域 的 elevation 高点 是 那个 地理区域 的 geographic 次要地区 和 实数 测量单位 是 那个 地理区域 的 elevation 高点 的 elevation ， 然后 不存在 另一个 地理区域 和 另一个 实数 这样 那个 另外 地理区域 是 那个 地理区域 的 geographic 次要地区 和 那个 另外 地理区域 不 equal 那个 地理区域 的 elevation 高点 和 那个 另外 实数 那个 测量单位 是 那个 另外 地理区域 的 elevation 和 那个 另外 实数 是 greaterThan 那个 实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1940-1954	如果 地理区域 是 地理区域 的 instance 和 那个 地理区域 的 elevation 低点 是 那个 地理区域 的 geographic 次要地区 和 测量单位 是 UnitOfLength 的 instance 和 实数 那个 测量单位 是 那个 地理区域 的 elevation 低点 的 elevation ， 然后 不存在 另一个 地理区域 和 另一个 实数 这样 那个 另外 地理区域 是 那个 地理区域 的 geographic 次要地区 和 那个 另外 地理区域 不 equal 那个 地理区域 的 elevation 低点 和 那个 另外 实数 那个 测量单位 是 那个 另外 地理区域 的 elevation 和 那个 另外 实数 是 lessThan 那个 实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1865-1870	如果 客体 是 地理区域 的 instance 和 过程 是 火山爆发 的 instance 和 那个 过程 是 located 在 那个 客体 ， 然后 地质稳定 不 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1858-1863	如果 客体 是 地理区域 的 instance 和 另一个 客体 是 火山 的 instance 和 火山活跃 是 那个 另外 客体 的 attribute， 然后 地质稳定 不 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1879-1884	如果 客体 是 地理区域 的 instance 和 物理 是 地质断层 的 instance 和 那个 物理 是 located 在 那个 客体， 然后 地质稳定 不 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1872-1877	如果 客体 是 地理区域 的 instance 和 过程 是 地震 的 instance 和 那个 过程 是 located 在 那个 客体 ， 然后 地质稳定 不 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 924-932	如果 施事体 是 内陆地区 的 instance 和 那个 施事体 是 地缘政治区域 的 instance， 然后 不存在 地理区域 这样 那个 地理区域 是 海事索赔区 的 instance 和 那个 施事体 是 那个 地理区域 的 claimed 领土
No TPTP formula. May not be expressible in strict first order.	Geography.kif 983-987	如果 地缘政治区域 是 内陆地区 的 instance 和 有点 海事索赔区 是 海事索赔区 的 subclass， 然后 有点 海事索赔区 不 是 那个 地缘政治区域 的 maritime 要求类型
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14681-14690	如果 内容承载物理 是 文章 的 instance 和 另一个 内容承载物理 是 书 的 instance 和 那个 另外 内容承载物理 包含 那个 内容承载物理 的内容， 然后 有存在 第三 内容承载物理 这样 那个 第三 内容承载物理 是 文章 的 instance 和 那个 第三 内容承载物理 不 equal 那个 内容承载物理 和 那个 另外 内容承载物理 包含 那个 第三 内容承载物理 的内容
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 43-52	如果 属性 是 属性 的 instance 和 另一个 属性 是 属性 的 instance 和 二元谓语 是 属于 的 subrelation， 然后 ~{ 那个 属性 和 那个 另外 属性 是对于 那个 二元谓语 的 mutually exclusive } 或 ~{ 那个 二元谓语 实体 and 那个 属性 } 或 ~{ 那个 二元谓语 那个 实体 and 那个 另外 属性 }
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12382-12389	如果 过程 是 连接 的 instance 和 实体 是 那个 过程 的 patient 和 另一个 实体 是 那个 过程 的 patient， 然后 那个 实体 和 那个 另外 实体 不 是 connected 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 和 那个 另外 实体 是 connected 在 那个 过程 出现 的 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