No TPTP formula. May not be expressible in strict first order.	Food.kif 3018-3036	如果 客体 是 SkimmedMilk 的 instance 和 那个 客体 的 measure 是 实数 测量单位 和 那个 测量单位 是 UnitOfVolume 的 instance， 然后 有存在 另一个 客体 和 那个 实数2 这样 那个 另外 客体 是 ButterFat 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 不存在 第三 客体 这样 那个 第三 客体 是 ButterFat 的 instance 和 那个 另外 客体 不 equal 那个 第三 客体 和 那个 第三 客体 是 那个 客体 的 part 和 那个 另外 客体 的 measure 是 那个 实数2 那个 测量单位 和 那个 实数2 是 greaterThanOrEqualTo 0.0 和 那个 实数 和 那个 实数2 是 lessThanOrEqualTo 0.005 和 那个 实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 2945-2962	如果 客体 是 TwoPercentMilk 的 instance 和 那个 客体 的 measure 是 实数 测量单位 和 那个 测量单位 是 UnitOfVolume 的 instance， 然后 有存在 另一个 客体 和 那个 实数2 这样 那个 另外 客体 是 ButterFat 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 不存在 第三 客体 这样 那个 第三 客体 是 ButterFat 的 instance 和 那个 另外 客体 不 equal 那个 第三 客体 和 那个 第三 客体 是 那个 客体 的 part 和 那个 另外 客体 的 measure 是 那个 实数2 那个 测量单位 和 那个 实数2 equal 0.02 和 那个 实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 2851-2869	如果 客体 是 WholeMilk 的 instance 和 那个 客体 的 measure 是 实数 测量单位 和 那个 测量单位 是 UnitOfVolume 的 instance， 然后 有存在 另一个 客体 和 那个 实数2 这样 那个 另外 客体 是 ButterFat 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 不存在 第三 客体 这样 那个 第三 客体 是 ButterFat 的 instance 和 那个 另外 客体 不 equal 那个 第三 客体 和 那个 第三 客体 是 那个 客体 的 part 和 那个 另外 客体 的 measure 是 那个 实数2 那个 测量单位 和 那个 实数2 是 greaterThanOrEqualTo 0.0325 和 那个 实数 和 那个 实数2 是 lessThanOrEqualTo 0.05 和 那个 实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13934-13942	如果 过程 是 溶化 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 固体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 液体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 599-607	如果 客体 是 另一个 有点 客体 的 instance 和 另一个 有点 客体 是 细胞核 的 subclass 和 %每个 那个 另外 有点 客体 是 真核细胞 的 initially part ， 然后 有存在 第三 客体 这样 那个 第三 客体 是 染色质 的 instance 和 那个 第三 客体 是 那个 客体 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4819-4833	如果 自身连接物体 是 客体 的 instance 和 中凸的圆形 是 那个 自身连接物体 的 attribute 和 另一个 自身连接物体 是 那个 自身连接物体 的 surface 和 那个 另外 自身连接物体 是 二维物体 的 instance， 然后 对所有 几何点 那个 几何点 是 那个 自身连接物体 的 part 和 几何点 是 那个 几何点 的 attribute 和 那个 几何点 是 那个 自身连接物体 的顶点 和 那个 几何点 接上 那个 自身连接物体 和 那个 几何点 接上 那个 另外 自身连接物体 和 有存在 一维图 这样 那个 另外 自身连接物体 的 tangent 是 那个 一维图
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4061-4068	如果 客体 是 客体 的 instance 和 那个 客体 是 partlyLocated 在 另一个 客体 ， 然后 有存在 第三 客体 这样 那个 第三 客体 是 那个 客体 的 part 和 那个 第三 客体 是 located 在 那个 另外 客体
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1668-1676	如果 过程 是 OpeningEyesWidely 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 客体 这样 那个 客体 是 眼皮 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 客体 是 那个 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	naics.kif 7023-7040	如果 群体 是 机构 的 instance 和 汽车及零部件经销商 是 那个 群体 的 attribute， 然后 有存在 施事体 和 过程 这样 那个 过程 是 那个 群体 的 member 和 那个 施事体 是 那个 过程 的 agent 和 有存在 客体 这样 那个 施事体 是 出售 的 instance 和 那个 客体 是 运输设备 的 instance 或 有存在 另一个 客体 这样 那个 客体 是 那个 另外 客体 的 part 和 那个 另外 客体 是 运输设备 的 instance 或 那个 客体 是 那个 施事体 的 patient
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2072-2080	如果 过程 是 HeartPalpitations 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 那个 施事体EART 这样 那个 施事体EART 是 心 的 instance 和 那个 施事体EART 是 那个 施事体 的 part 和 那个 过程 是 located 在 那个 施事体EART
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11820-11827	如果 过程 是 去皮 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 皮肤 的 instance 和 那个 客体 是 那个 另外 客体 的 part
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1492-1500	如果 过程 是 Perspiring 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 客体 这样 那个 客体 是 手 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 过程 在 那个 客体 结束
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1505-1515	如果 过程 是 PerspiringWholeBody 的 instance 和 施事体 经历了 那个 过程， 然后 不存在 客体 这样 那个 客体 是 身体部位 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 过程 doesn't %n 在 那个 客体 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6621-6630	如果 过程 是 冲压 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 客体 这样 那个 客体 是 手 的 instance 和 拳头 是 那个 客体 的 attribute 和 那个 客体 是 那个 施事体 的 part 和 那个 客体 是导致 那个 过程 的 instrument
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2078-2091	如果 躯体性物体 是 ViewItemPage 的 instance 和 过程 是 WebListing 的 instance 和 那个 过程 是 那个 躯体性物体 的 component 和 实体 是 那个 过程 的 patient 和 那个 实体 是 物理 的 instance， 然后 有存在 另一个 过程， 第三 过程， and 和 那个 另外 过程CONTENT 这样 那个 第三 过程 是 陈述 的 instance 和 那个 另外 过程 是 那个 第三 过程 的 patient 和 那个 另外 过程 提到 那个 实体 和 那个 另外 过程CONTENT 是 那个 另外 过程 的 result 和 那个 另外 过程CONTENT 是 那个 躯体性物体 的 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10416-10424	如果 过程 是 病理过程 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 客体 和 属性 这样 那个 客体 是 那个 施事体 的 part 和 那个 属性 是 疾病或综合症 的 instance 和 那个 属性 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1202-1212	如果 过程 是 PressingLipsTogether 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 客体 和 另一个 过程 这样 那个 客体 是 唇 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 另外 过程 是 身体运动 的 instance 和 那个 客体 是 那个 另外 过程 的 patient 和 那个 施事体 是 那个 另外 过程 的 agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12266-12275	如果 过程 是 治疗过程 的 instance 和 客体 是 那个 过程 的 patient， 然后 那个 客体 是 生物 的 instance 或 有存在 另一个 客体 这样 那个 另外 客体 是 生物 的 instance 和 那个 客体 是 那个 另外 客体 的 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13778-13789	如果 过程 是 状态改变 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体， 实体， and 和 另一个 实体 这样 那个 另外 客体 是 那个 客体 的 part 和 那个 实体 是 物质状态 的 instance 和 那个 另外 实体 是 物质状态 的 instance 和 那个 实体 不 equal 那个 另外 实体 和 那个 实体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 另外 实体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 561-574	如果 有点 身体部位 是 CervicalVertebraBone 的 instance 和 有点 身体部位 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 疾病或综合症 不 是 那个 客体 的 attribute， 然后 有存在 另一个 有点 身体部位 这样 另一个 有点 身体部位 是 CervicalVertebraBone 的 instance 和 那个 另外 有点 身体部位 不 equal 那个 有点 身体部位 和 那个 另外 有点 身体部位 是 那个 客体 的 part 和 connectedBodyPart 那个 另外 有点 身体部位 and 那个 有点 身体部位
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 505-517	如果 有点 身体部位 是 FalseRibBone 的 instance 和 有点 身体部位 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 疾病或综合症 不 是 那个 客体 的 attribute， 然后 不存在 另一个 有点 身体部位 这样 另一个 有点 身体部位 是 Sternum 的 instance 和 那个 另外 有点 身体部位 是 那个 客体 的 part 和 connectedBodyPart 那个 另外 有点 身体部位 and 那个 有点 身体部位
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 601-614	如果 有点 身体部位 是 LumbarVertebraBone 的 instance 和 有点 身体部位 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 疾病或综合症 不 是 那个 客体 的 attribute， 然后 有存在 另一个 有点 身体部位 这样 另一个 有点 身体部位 是 LumbarVertebraBone 的 instance 和 那个 另外 有点 身体部位 不 equal 那个 有点 身体部位 和 那个 另外 有点 身体部位 是 那个 客体 的 part 和 connectedBodyPart 那个 另外 有点 身体部位 and 那个 有点 身体部位
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 669-682	如果 有点 身体部位 是 ThoracicVertebraBone 的 instance 和 有点 身体部位 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 疾病或综合症 不 是 那个 客体 的 attribute， 然后 有存在 另一个 有点 身体部位 这样 另一个 有点 身体部位 是 ThoracicVertebraBone 的 instance 和 那个 另外 有点 身体部位 不 equal 那个 有点 身体部位 和 那个 另外 有点 身体部位 是 那个 客体 的 part 和 connectedBodyPart 那个 另外 有点 身体部位 and 那个 有点 身体部位
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 492-503	如果 有点 身体部位 是 TrueRibBone 的 instance 和 有点 身体部位 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 疾病或综合症 不 是 那个 客体 的 attribute， 然后 有存在 另一个 有点 身体部位 这样 另一个 有点 身体部位 是 Sternum 的 instance 和 那个 另外 有点 身体部位 是 那个 客体 的 part 和 connectedBodyPart 那个 另外 有点 身体部位 and 那个 有点 身体部位
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5646-5653	如果 自身连接物体 是 急流 的 instance 和 那个 自身连接物体 的 bottom 是 另一个 自身连接物体， 然后 有存在 客体 这样 那个 客体 是 岩石 的 instance 和 那个 客体 是 那个 另外 自身连接物体 的 part
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