No TPTP formula. May not be expressible in strict first order.	emotion.kif 1129-1139	如果 转移 是 Crying 的 instance 和 施事体 经历了 那个 转移， 然后 有存在 客体 和 另一个 客体 这样 那个 客体 是 泪液 的 instance 和 那个 另外 客体 是 那个 转移 的源头 和 objectTransferred 那个 转移 and 那个 客体 和 那个 另外 客体 是 眼睛 的 instance 和 那个 另外 客体 是 那个 施事体 的 part
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1141-1147	如果 过程 是 Crying 的 instance 和 施事体 经历了 那个 过程， 然后 Sadness 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6121-6139	如果 过程 是 Sneezing 的 instance 和 施事体 经历了 那个 过程， 然后 那个 过程 的 目的 是 有存在 实体， 另一个 实体,， ， 那个 另外 实体OSE， and 和 第四 实体 这样 那个 另外 实体 是 NasalCavity 的 instance 和 那个 另外 实体OSE 是 鼻子 的 instance 和 那个 另外 实体OSE equal 洞 那个 另外 实体 的主体 和 那个 第四 实体 是 客体 的 instance 和 那个 实体 是 移除 的 instance 和 那个 另外 实体OSE 是 那个 施事体 的 part 和 objectTransferred 那个 实体 and 那个 第四 实体 和 那个 第四 实体 是 located 在 那个 另外 实体 在 紧接 那个 过程 出现 的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10244-10259	如果 过程 是 死亡 的 instance 和 施事体 是 生物 的 instance 和 那个 施事体 经历了 那个 过程， 然后 有存在 实体 和 另一个 实体 这样 那个 实体 是 那个 过程 的 result 和 那个 实体 是 有机物体 的 instance 和 死 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 之后 holdsDuring 和 如果 那个 另外 实体 是 那个 实体 的 part 在 紧接 那个 过程 出现 的 time after holdsDuring， 然后 那个 另外 实体 是 那个 施事体 的 part 在 紧接 那个 过程 出现 的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 85-94	如果 过程 是 死亡 的 instance 和 实体 是 OrganismRemains 的 instance 和 施事体 是 生物 的 instance 和 另一个 实体 是 那个 实体 的 part 在 时距 holdsDuring 和 那个 另外 实体 是 那个 施事体 的 part 在 另一个 时距 holdsDuring 和 那个 另外 时距 比那个 时距发生的earlier 和 那个 施事体 经历了 那个 过程， 然后 那个 实体 是 那个 过程 的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18238-18242	如果 过程 是 做梦 的 instance 和 施事体 经历了 那个 过程， 然后 睡着 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9985-9993	如果 过程 是 EdemaFn 有点 身体部位 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 有点 身体部位I 这样 那个 有点 身体部位I 是 身体部位 的 instance 和 那个 有点 身体部位I 是 那个 施事体 的 part 和 那个 过程 是 located 在 那个 有点 身体部位I
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1636-1643	如果 客体 是 Eardrum 的 instance 和 那个 客体 是 施事体 的 part 和 那个 施事体 经历了 那个 施事体EAR 和 Healthy 是 那个 施事体 的 attribute 和 那个 施事体EAR 是 听 的 instance， 然后 那个 客体 是导致 那个 施事体EAR 的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9963-9975	如果 过程 是 Edema 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 运动， 客体， and 和 另一个 客体 这样 那个 运动 是 转移 的 instance 和 那个 另外 客体 是 液体 的 instance 和 那个 客体 是 身体部位 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 运动 在 那个 客体 结束 和 移动 那个 运动 and 那个 另外 客体 和 那个 运动%n是那个 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1710-1721	如果 过程 是 ExperiencingALumpInTheThroat 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 另一个 过程 和 客体 这样 那个 另外 过程 是 感知 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 客体 是 那个 另外 过程 的 patient 和 那个 客体 是 喉 的 instance 和 那个 客体 是 那个 施事体 的 part
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	如果 过程 是 ExperiencingDiscomfortInTheStomach 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 另一个 过程， 那个 另外 过程AIN， and 和 客体 这样 那个 另外 过程 是 感知 的 instance 和 那个 另外 过程 出现 的 time 在 那个 另外 过程AIN 出现 的 time 时段内发生 和 那个 另外 过程AIN 是 痛 的 instance 和 那个 施事体 经历了 那个 另外 过程AIN 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 客体 是 那个 另外 过程 的 patient 和 那个 客体 是 胃 的 instance 和 那个 客体 是 那个 施事体 的 part
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1738-1751	如果 过程 是 ExperiencingHeatInCheeksOrChest 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 另一个 过程 和 客体 这样 那个 另外 过程 是 感知 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 客体 是 那个 另外 过程 的 patient 和 那个 客体 是 躯干 的 instance 或 那个 客体 是 面对 的 instance 和 那个 客体 是 那个 施事体 的 part
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2609-2623	如果 过程 是 疏散 的 instance 和 机构 是 那个 过程 的 agent 和 施事体 经历了 那个 过程， 然后 有存在 另一个 过程 和 那个 另外 过程A 这样 那个 另外 过程 是 分类 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 施事体 经历了 那个 另外 过程 和 那个 另外 过程A 是 那个 机构 Organization 的一部分 或 那个 另外 过程A 是 那个 机构 的 member 或 那个 另外 过程A equal 那个 机构 和 那个 另外 过程A 是 那个 另外 过程 的 agent
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 133-140	如果 过程 是 疏散 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 施事体 是 军事组织 的 instance 和 另一个 施事体 经历了 那个 过程， 然后 撤离者 是 那个 另外 施事体 的 attribute 在 紧接 那个 过程 出现 的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2534-2538	如果 过程 是 疏散 的 instance 和 施事体 经历了 那个 过程， 然后 那个 施事体 是 人类 的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	如果 过程 是 疏散 的 instance 和 施事体 经历了 那个 过程 和 机构 是 那个 过程 的 agent， 然后 有存在 另一个 过程 和 那个 另外 过程A 这样 那个 另外 过程 是 治疗过程 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 另外 过程A 是 那个 机构 Organization 的一部分 或 那个 另外 过程A 是 那个 机构 的 member 或 那个 另外 过程A equal 那个 机构 和 那个 另外 过程A 是 那个 另外 过程 的 agent 和 那个 施事体 经历了 那个 另外 过程
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	如果 过程 是 过程 的 instance 和 人类 是 施事体 的 instance 和 试验 是 试验 的 instance 和 那个 人类 是个 treated used 在 那个 试验 和 那个 过程 在 那个 试验 的 process 和 那个 人类 经历了 另一个 过程 和 那个 人类 经历了 那个 过程 和 那个 试验 causes 那个 另外 过程 ， 然后 有存在 那个 试验ERIMENTER 这样 那个 试验ERIMENTER 是 施事体 的 instance 和 那个 试验ERIMENTER 是在 那个 试验 的 experimenter 和 那个 试验ERIMENTER believes 那个 过程 causes 那个 另外 过程 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4451-4461	如果 过程 是 Forgetting 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 实体 这样 那个 施事体 doesn't knows 那个 实体 在 紧接 那个 过程 出现 的 time after holdsDuring 和 那个 施事体 knows 那个 实体 在 紧接 那个 过程 出现 的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16379-16388	如果 过程 是 沉沉睡去 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 时距 和 另一个 时距 这样 那个 时距 starts了才到 那个 过程 出现 的 time 和 那个 另外 时距 finishes了才到 那个 过程 出现 的 time 和 觉醒 是 那个 施事体 的 attribute 在 那个 时距 holdsDuring 和 睡着 是 那个 施事体 的 attribute 在 那个 另外 时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1960-1975	如果 过程 是 外国内部防御 的 instance 和 施事体 是 那个 过程 的 agent 和 另一个 施事体 经历了 那个 过程， 然后 那个 过程 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 另外 实体 是 学习 的 instance 和 那个 实体 经历了 那个 另外 实体 和 那个 施事体 是 那个 另外 实体 的 agent 和 那个 另外 施事体 是 那个 实体 的 military 区域 或 那个 实体 是 军事力量 的 instance 和 那个 实体 是 located 在 那个 另外 施事体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18248-18254	如果 过程 是 可怕的 的 instance 和 施事体 经历了 那个 过程， 然后 焦虑 不 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 焦虑 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16464-16476	如果 过程 是 获得意识 的 instance 和 施事体 经历了 那个 过程， 然后 无意识 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 觉醒 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1916-1929	如果 过程 是 GERefluxDisease 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 另一个 过程， 客体， and 和 另一个 客体 这样 那个 另外 过程 是 转移 的 instance 和 那个 客体 是 那个 另外 过程 的源头 和 那个 客体 是 胃 的 instance 和 那个 另外 客体 是 Esophagus 的 instance 和 那个 另外 过程 在 那个 另外 客体 结束 和 那个 客体 是 那个 施事体 的 part 和 那个 另外 客体 是 那个 施事体 的 part 和 那个 另外 过程%n是那个 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6422-6426	如果 过程 是 Hallucination 的 instance 和 施事体 经历了 那个 过程， 然后 心理功能障碍 是 那个 施事体 的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6428-6438	如果 过程 是 Hallucination 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 那个 施事体ER 和 那个 施事体ROP 这样 那个 施事体ER 是 感知 的 instance 和 那个 施事体 经历了 那个 施事体ER 和 那个 过程 causes 那个 施事体ER 和 那个 施事体ER contains 那个 施事体ROP 的资料 和 那个 施事体ROP 是 假
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