No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5878-5885	如果 属性 是 FungalDisease 的 instance 和 那个 属性 是 客体 的 attribute， 然后 有存在 那个 属性UN 这样 那个 属性UN 是 那个 客体 的 part 和 那个 属性UN 是 菌类 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5864-5871	如果 属性 是 ParasiticDisease 的 instance 和 那个 属性 是 客体 的 attribute， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 那个 另外 客体 是 Parasite 的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1379-1389	如果 客体 是 绝对过滤器 的 instance 和 过程 是 移除 的 instance 和 另一个 客体 是 那个 过程 的源头 和 那个 另外 客体 是 混合气体 的 instance 和 第三 客体 是 那个 过程 的 patient 和 固体 是 那个 第三 客体 的 attribute 和 那个 客体 是导致 那个 过程 的 instrument， 然后 那个 第三 客体 不 是 那个 另外 客体 的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	如果 客体 是 FuelPump 的 instance 和 另一个 客体 是 汽车 的 instance 和 那个 客体 是 那个 另外 客体 的 part 和 过程 是 运输 的 instance 和 另一个 过程 是 汽油 的 instance 和 那个 另外 过程 是 那个 过程 的 patient 和 那个 客体 是导致 那个 另外 过程 的 instrument， 然后 那个 客体 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 实体 是 GasTank 的 instance 和 那个 实体 是 那个 另外 客体 的 part 和 那个 另外 实体 是 EngineCylinder 的 instance 和 那个 另外 实体 是 那个 另外 客体 的 part 和 那个 实体 是 那个 过程 的源头 和 那个 过程 在 那个 另外 实体 结束
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14022-14030	如果 过程 是 结冰 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 液体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 固体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 654-668	如果 客体 是 Gene 的 instance 和 那个 客体 是 located 在 另一个 客体 和 那个 另外 客体 是 细胞 的 instance， 然后 有存在 过程， 第三 客体， and 和 第四 客体 这样 那个 过程 是 生物过程 的 instance 和 那个 过程 是 located 在 那个 另外 客体 和 那个 客体 是 那个 过程 的源头 和 那个 第三 客体 是 那个 过程 的 result 和 那个 第三 客体 是 Nucleotide 的 instance 和 那个 第三 客体 是 那个 第四 客体 的 part 和 那个 第四 客体 是 RNA分子 的 instance 和 那个 第四 客体 是 located 在 那个 另外 客体
No TPTP formula. May not be expressible in strict first order.	Food.kif 1012-1026	如果 过程 是 Grinding 的 instance 和 实体 是 那个 过程 的 patient 和 那个 实体 是 躯体性物体 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 那个 过程 的 result 和 那个 另外 实体 是 群体 的 instance 和 对所有 第三 实体 如果 那个 第三 实体 是 那个 另外 实体 的 member， 然后 那个 第三 实体 是 那个 实体 的 part 在 那个 过程 出现 的 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 12708-12721	如果 客体 是 灵长类动物 的 instance 和 属性 是 疾病或综合症 的 instance 和 那个 属性 不 是 那个 客体 的 attribute， 然后 有存在 另一个 客体 和 第三 客体 这样 那个 另外 客体 是 足 的 instance 和 那个 第三 客体 是 足 的 instance 和 那个 另外 客体 不 equal 那个 第三 客体 和 那个 另外 客体 是 那个 客体 的 part 和 那个 第三 客体 是 那个 客体 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12681-12694	如果 客体 是 灵长类动物 的 instance 和 属性 是 疾病或综合症 的 instance 和 那个 属性 不 是 那个 客体 的 attribute， 然后 有存在 另一个 客体 和 第三 客体 这样 那个 另外 客体 是 腿 的 instance 和 那个 第三 客体 是 腿 的 instance 和 那个 另外 客体 不 equal 那个 第三 客体 和 那个 另外 客体 是 那个 客体 的 part 和 那个 第三 客体 是 那个 客体 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11197-11210	如果 客体 是 灵长类动物 的 instance 和 属性 是 疾病或综合症 的 instance 和 那个 属性 不 是 那个 客体 的 attribute， 然后 有存在 另一个 客体 和 第三 客体 这样 那个 另外 客体 是 肺 的 instance 和 那个 第三 客体 是 肺 的 instance 和 那个 另外 客体 不 equal 那个 第三 客体 和 那个 另外 客体 是 那个 客体 的 part 和 那个 第三 客体 是 那个 客体 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11367-11384	如果 物理 是 HeartAttack 的 instance 和 客体 是 心 的 instance 和 那个 物理 是 located 在 那个 客体， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 肌肉 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 不存在 时距 和 第三 客体 这样 那个 时距 是 液体运动 的 instance 和 objectTransferred 那个 时距 and 那个 第三 客体 和 那个 第三 客体 是 血液 的 instance 和 那个 时距 在 那个 物理 出现 的 time 时段内发生 和 那个 时距 在 那个 另外 客体 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11914-11931	如果 物理 是 Stroke 的 instance 和 客体 是 脑 的 instance 和 那个 物理 是 located 在 那个 客体， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 神经细胞 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 不存在 时距 和 第三 客体 这样 那个 时距 是 液体运动 的 instance 和 objectTransferred 那个 时距 and 那个 第三 客体 和 那个 第三 客体 是 血液 的 instance 和 那个 时距 在 那个 物理 出现 的 time 时段内发生 和 那个 时距 在 那个 另外 客体 结束
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4295-4307	如果 客体 是 卷轴 的 instance 和 过程 是 保存 的 instance 和 另一个 客体 是 躯体性物体 的 instance 和 又长又瘦 是 那个 另外 客体 的 attribute 和 易弯的 是 那个 另外 客体 的 attribute 和 那个 客体 是导致 那个 过程 的 instrument 和 那个 另外 客体 是 那个 过程 的 patient， 然后 有存在 第三 客体 这样 那个 第三 客体 是 那个 另外 客体 的 part 和 那个 第三 客体 接上 那个 客体
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4135-4145	如果 转移 是 Intubation 的 instance 和 客体 是 管 的 instance 和 objectTransferred 那个 转移 and 那个 客体 和 施事体 经历了 那个 转移， 然后 有存在 那个 客体H 这样 那个 客体H 是 Trachea 的 instance 和 那个 客体H 是 那个 施事体 的 part 和 那个 转移 在 那个 客体H 结束
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1179-1187	如果 过程 是 IntraosseousInfusion 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 BoneMarrow 的 instance 和 那个 过程 在 那个 另外 客体 结束 和 那个 另外 客体 是 那个 客体 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6636-6644	如果 过程 是 踢 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 客体 这样 那个 客体 是 足 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 客体 是导致 那个 过程 的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24115-24128	如果 过程 是 下蛋 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 实体 这样 那个 实体 是 蛋 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 实体 是 那个 施事体 的 part 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 不 是 那个 施事体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 902-915	如果 客体 是 LeafSpring 的 instance 和 那个 客体 是 另一个 客体 的 part 和 那个 另外 客体 是 公路车辆 的 instance， 然后 有存在 那个 客体2 这样 那个 客体2 是 LeafSpring 的 instance 和 那个 客体2 是 那个 另外 客体 的 part 和 那个 客体 不 equal 那个 客体2 和 那个 客体 接上 那个 客体2 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 275-283	如果 洞 是 LeftAtrium 的 instance 和 那个 洞 是 客体 的 part， 然后 有存在 那个 客体 和 那个 客体EART 这样 那个 客体EART equal 洞 那个 洞 的主体 和 那个 客体EART 是 那个 客体 的 part 和 那个 客体EART 是 心 的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 291-299	如果 洞 是 LeftVentricle 的 instance 和 那个 洞 是 客体 的 part， 然后 有存在 那个 客体 和 那个 客体EART 这样 那个 客体EART equal 洞 那个 洞 的主体 和 那个 客体EART 是 那个 客体 的 part 和 那个 客体EART 是 心 的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 307-315	如果 洞 是 RightAtrium 的 instance 和 那个 洞 是 客体 的 part， 然后 有存在 那个 客体 和 那个 客体EART 这样 那个 客体EART equal 洞 那个 洞 的主体 和 那个 客体EART 是 那个 客体 的 part 和 那个 客体EART 是 心 的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 323-331	如果 洞 是 RightVentricle 的 instance 和 那个 洞 是 客体 的 part， 然后 有存在 那个 客体 和 那个 客体EART 这样 那个 客体EART equal 洞 那个 洞 的主体 和 那个 客体EART 是 那个 客体 的 part 和 那个 客体EART 是 心 的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 2969-2986	如果 客体 是 OnePercentMilk 的 instance 和 那个 客体 的 measure 是 实数 测量单位 和 那个 测量单位 是 UnitOfVolume 的 instance， 然后 有存在 另一个 客体 和 那个 实数2 这样 那个 另外 客体 是 ButterFat 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 不存在 第三 客体 这样 那个 第三 客体 是 ButterFat 的 instance 和 那个 另外 客体 不 equal 那个 第三 客体 和 那个 第三 客体 是 那个 客体 的 part 和 那个 另外 客体 的 measure 是 那个 实数2 那个 测量单位 和 那个 实数2 equal 0.01 和 那个 实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 2993-3011	如果 客体 是 SemiSkimmedMilk 的 instance 和 那个 客体 的 measure 是 实数 测量单位 和 那个 测量单位 是 UnitOfVolume 的 instance， 然后 有存在 另一个 客体 和 那个 实数2 这样 那个 另外 客体 是 ButterFat 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 不存在 第三 客体 这样 那个 第三 客体 是 ButterFat 的 instance 和 那个 另外 客体 不 equal 那个 第三 客体 和 那个 第三 客体 是 那个 客体 的 part 和 那个 另外 客体 的 measure 是 那个 实数2 那个 测量单位 和 那个 实数2 是 greaterThanOrEqualTo 0.015 和 那个 实数 和 那个 实数2 是 lessThanOrEqualTo 0.02 和 那个 实数
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