(=>     (and         (instance ?M SkimmedMilk)         (measure ?M             (MeasureFn ?N ?U))         (instance ?U UnitOfVolume))     (exists (?BF ?N2)         (and             (instance ?BF ButterFat)             (part ?BF ?M)             (not                 (exists (?F2)                     (and                         (instance ?F2 ButterFat)                         (not                             (equal ?BF ?F2))                         (part ?F2 ?M))))             (measure ?BF                 (MeasureFn ?N2 ?U))             (greaterThanOrEqualTo ?N2                 (MultiplicationFn 0.0 ?N))             (lessThanOrEqualTo ?N2                 (MultiplicationFn 0.005 ?N)))))	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 和 那个 实数
(=>     (and         (instance ?M TwoPercentMilk)         (measure ?M             (MeasureFn ?N ?U))         (instance ?U UnitOfVolume))     (exists (?BF ?N2)         (and             (instance ?BF ButterFat)             (part ?BF ?M)             (not                 (exists (?F2)                     (and                         (instance ?F2 ButterFat)                         (not                             (equal ?BF ?F2))                         (part ?F2 ?M))))             (measure ?BF                 (MeasureFn ?N2 ?U))             (equal ?N2                 (MultiplicationFn 0.02 ?N)))))	Food.kif 2945-2962	如果 客体 是 TwoPercentMilk 的 instance 和 那个 客体 的 measure 是 实数 测量单位 和 那个 测量单位 是 UnitOfVolume 的 instance， 然后 有存在 另一个 客体 和 那个 实数2 这样 那个 另外 客体 是 ButterFat 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 不存在 第三 客体 这样 那个 第三 客体 是 ButterFat 的 instance 和 那个 另外 客体 不 equal 那个 第三 客体 和 那个 第三 客体 是 那个 客体 的 part 和 那个 另外 客体 的 measure 是 那个 实数2 那个 测量单位 和 那个 实数2 equal 0.02 和 那个 实数
(=>     (and         (instance ?M WholeMilk)         (measure ?M             (MeasureFn ?N ?U))         (instance ?U UnitOfVolume))     (exists (?BF ?N2)         (and             (instance ?BF ButterFat)             (part ?BF ?M)             (not                 (exists (?F2)                     (and                         (instance ?F2 ButterFat)                         (not                             (equal ?BF ?F2))                         (part ?F2 ?M))))             (measure ?BF                 (MeasureFn ?N2 ?U))             (greaterThanOrEqualTo ?N2                 (MultiplicationFn 0.0325 ?N))             (lessThanOrEqualTo ?N2                 (MultiplicationFn 0.05 ?N)))))	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 和 那个 实数
(=>     (and         (instance ?MELT Melting)         (patient ?MELT ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (holdsDuring                 (BeginFn                     (WhenFn ?MELT))                 (attribute ?PART Solid))             (holdsDuring                 (EndFn                     (WhenFn ?MELT))                 (attribute ?PART Liquid)))))	Merge.kif 13934-13942	如果 过程 是 溶化 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 固体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 液体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
(=>     (and         (instance ?NUCLEUS ?CLASS)         (subclass ?CLASS CellNucleus)         (initialPart ?CLASS EukaryoticCell))     (exists (?CHROMOTIN)         (and             (instance ?CHROMOTIN Chromotin)             (part ?CHROMOTIN ?NUCLEUS))))	VirusProteinAndCellPart.kif 599-607	如果 客体 是 另一个 有点 客体 的 instance 和 另一个 有点 客体 是 细胞核 的 subclass 和 %每个 那个 另外 有点 客体 是 真核细胞 的 initially part ， 然后 有存在 第三 客体 这样 那个 第三 客体 是 染色质 的 instance 和 那个 第三 客体 是 那个 客体 的 part
(=>     (and         (instance ?O Object)         (attribute ?O ConvexRoundShape)         (surface ?TO ?O)         (instance ?TO TwoDimensionalObject))     (forall (?P)         (and             (part ?P ?O)             (attribute ?P GeometricPoint)             (pointOfFigure ?P ?O)             (meetsSpatially ?P ?O)             (meetsSpatially ?P ?TO)             (exists (?T)                 (tangent ?T ?TO)))))	Mid-level-ontology.kif 4819-4833	如果 自身连接物体 是 客体 的 instance 和 中凸的圆形 是 那个 自身连接物体 的 attribute 和 另一个 自身连接物体 是 那个 自身连接物体 的 surface 和 那个 另外 自身连接物体 是 二维物体 的 instance， 然后 对所有 几何点 那个 几何点 是 那个 自身连接物体 的 part 和 几何点 是 那个 几何点 的 attribute 和 那个 几何点 是 那个 自身连接物体 的顶点 和 那个 几何点 接上 那个 自身连接物体 和 那个 几何点 接上 那个 另外 自身连接物体 和 有存在 一维图 这样 那个 另外 自身连接物体 的 tangent 是 那个 一维图
(=>     (and         (instance ?OBJ1 Object)         (partlyLocated ?OBJ1 ?OBJ2))     (exists (?SUB)         (and             (part ?SUB ?OBJ1)             (located ?SUB ?OBJ2))))	Merge.kif 4061-4068	如果 客体 是 客体 的 instance 和 那个 客体 是 partlyLocated 在 另一个 客体 ， 然后 有存在 第三 客体 这样 那个 第三 客体 是 那个 客体 的 part 和 那个 第三 客体 是 located 在 那个 另外 客体
(=>     (and         (instance ?OEW OpeningEyesWidely)         (agent ?OEW ?A))     (exists (?EL)         (and             (instance ?EL Eyelid)             (part ?EL ?A)             (patient ?OEW ?EL))))	emotion.kif 1668-1676	如果 过程 是 OpeningEyesWidely 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 客体 这样 那个 客体 是 眼皮 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 客体 是 那个 过程 的 patient
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG MotorVehicleAndPartsDealers))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING)                 (and                     (instance ?EV Selling)                     (or                         (instance ?THING TransportationDevice)                         (exists (?DEV)                             (and                                 (part ?THING ?DEV)                                 (instance ?DEV TransportationDevice)))                         (patient ?EV ?THING)))))))	naics.kif 7023-7040	如果 群体 是 机构 的 instance 和 汽车及零部件经销商 是 那个 群体 的 attribute， 然后 有存在 施事体 和 过程 这样 那个 过程 是 那个 群体 的 member 和 那个 施事体 是 那个 过程 的 agent 和 有存在 客体 这样 那个 施事体 是 出售 的 instance 和 那个 客体 是 运输设备 的 instance 或 有存在 另一个 客体 这样 那个 客体 是 那个 另外 客体 的 part 和 那个 另外 客体 是 运输设备 的 instance 或 那个 客体 是 那个 施事体 的 patient
(=>     (and         (instance ?P HeartPalpitations)         (experiencer ?P ?H))     (exists (?HEART)         (and             (instance ?HEART Heart)             (part ?HEART ?H)             (located ?P ?HEART))))	Medicine.kif 2072-2080	如果 过程 是 HeartPalpitations 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 那个 施事体EART 这样 那个 施事体EART 是 心 的 instance 和 那个 施事体EART 是 那个 施事体 的 part 和 那个 过程 是 located 在 那个 施事体EART
(=>     (and         (instance ?P Peeling)         (patient ?P ?O))     (exists (?S)         (and             (instance ?S Skin)             (part ?O ?S))))	Mid-level-ontology.kif 11820-11827	如果 过程 是 去皮 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 皮肤 的 instance 和 那个 客体 是 那个 另外 客体 的 part
(=>     (and         (instance ?P Perspiring)         (experiencer ?P ?A))     (exists (?H)         (and             (instance ?H Hand)             (part ?H ?A)             (destination ?P ?H))))	emotion.kif 1492-1500	如果 过程 是 Perspiring 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 客体 这样 那个 客体 是 手 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 过程 在 那个 客体 结束
(=>     (and         (instance ?P PerspiringWholeBody)         (experiencer ?P ?A))     (not         (exists (?B)             (and                 (instance ?B BodyPart)                 (part ?B ?A)                 (not                     (destination ?P ?B))))))	emotion.kif 1505-1515	如果 过程 是 PerspiringWholeBody 的 instance 和 施事体 经历了 那个 过程， 然后 不存在 客体 这样 那个 客体 是 身体部位 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 过程 doesn't %n 在 那个 客体 结束
(=>     (and         (instance ?P Punching)         (agent ?P ?A))     (exists (?H)         (and             (instance ?H Hand)             (attribute ?H Fist)             (part ?H ?A)             (instrument ?P ?H))))	Mid-level-ontology.kif 6621-6630	如果 过程 是 冲压 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 客体 这样 那个 客体 是 手 的 instance 和 拳头 是 那个 客体 的 attribute 和 那个 客体 是 那个 施事体 的 part 和 那个 客体 是导致 那个 过程 的 instrument
(=>     (and         (instance ?PAGE ViewItemPage)         (instance ?ADVERTISING WebListing)         (component ?ADVERTISING ?PAGE)         (patient ?ADVERTISING ?ITEM)         (instance ?ITEM Physical))     (exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)         (and             (instance ?STATING Stating)             (patient ?STATING ?DESCRIPTION)             (refers ?DESCRIPTION ?ITEM)             (result ?DESCRIPTION ?DESCRIPTIONCONTENT)             (part ?DESCRIPTIONCONTENT ?PAGE))))	UXExperimentalTerms.kif 2078-2091	如果 躯体性物体 是 ViewItemPage 的 instance 和 过程 是 WebListing 的 instance 和 那个 过程 是 那个 躯体性物体 的 component 和 实体 是 那个 过程 的 patient 和 那个 实体 是 物理 的 instance， 然后 有存在 另一个 过程， 第三 过程， and 和 那个 另外 过程CONTENT 这样 那个 第三 过程 是 陈述 的 instance 和 那个 另外 过程 是 那个 第三 过程 的 patient 和 那个 另外 过程 提到 那个 实体 和 那个 另外 过程CONTENT 是 那个 另外 过程 的 result 和 那个 另外 过程CONTENT 是 那个 躯体性物体 的 part
(=>     (and         (instance ?PATH PathologicProcess)         (experiencer ?PATH ?ORG))     (exists (?PART ?DISEASE)         (and             (part ?PART ?ORG)             (instance ?DISEASE DiseaseOrSyndrome)             (attribute ?PART ?DISEASE))))	Merge.kif 10416-10424	如果 过程 是 病理过程 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 客体 和 属性 这样 那个 客体 是 那个 施事体 的 part 和 那个 属性 是 疾病或综合症 的 instance 和 那个 属性 是 那个 客体 的 attribute
(=>     (and         (instance ?PLT PressingLipsTogether)         (agent ?PLT ?A))     (exists (?L ?BM)         (and             (instance ?L Lip)             (part ?L ?A)             (instance ?BM BodyMotion)             (patient ?BM ?L)             (agent ?BM ?A))))	emotion.kif 1202-1212	如果 过程 是 PressingLipsTogether 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 客体 和 另一个 过程 这样 那个 客体 是 唇 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 另外 过程 是 身体运动 的 instance 和 那个 客体 是 那个 另外 过程 的 patient 和 那个 施事体 是 那个 另外 过程 的 agent
(=>     (and         (instance ?PROC TherapeuticProcess)         (patient ?PROC ?BIO))     (or         (instance ?BIO Organism)         (exists (?ORG)             (and                 (instance ?ORG Organism)                 (part ?BIO ?ORG)))))	Merge.kif 12266-12275	如果 过程 是 治疗过程 的 instance 和 客体 是 那个 过程 的 patient， 然后 那个 客体 是 生物 的 instance 或 有存在 另一个 客体 这样 那个 另外 客体 是 生物 的 instance 和 那个 客体 是 那个 另外 客体 的 part
(=>     (and         (instance ?PROCESS StateChange)         (patient ?PROCESS ?OBJ))     (exists (?PART ?STATE1 ?STATE2)         (and             (part ?PART ?OBJ)             (instance ?STATE1 PhysicalState)             (instance ?STATE2 PhysicalState)             (not                 (equal ?STATE1 ?STATE2))             (holdsDuring                 (BeginFn                     (WhenFn ?PROCESS))                 (attribute ?PART ?STATE1))             (holdsDuring                 (EndFn                     (WhenFn ?PROCESS))                 (attribute ?PART ?STATE2)))))	Merge.kif 13778-13789	如果 过程 是 状态改变 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体， 实体， and 和 另一个 实体 这样 那个 另外 客体 是 那个 客体 的 part 和 那个 实体 是 物质状态 的 instance 和 那个 另外 实体 是 物质状态 的 instance 和 那个 实体 不 equal 那个 另外 实体 和 那个 实体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 另外 实体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
(=>     (and         (instance ?R CervicalVertebraBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?S)         (and             (instance ?S CervicalVertebraBone)             (not                 (equal ?S ?R))             (part ?S ?H)             (connectedBodyPart ?S ?R))))	Anatomy.kif 561-574	如果 有点 身体部位 是 CervicalVertebraBone 的 instance 和 有点 身体部位 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 疾病或综合症 不 是 那个 客体 的 attribute， 然后 有存在 另一个 有点 身体部位 这样 另一个 有点 身体部位 是 CervicalVertebraBone 的 instance 和 那个 另外 有点 身体部位 不 equal 那个 有点 身体部位 和 那个 另外 有点 身体部位 是 那个 客体 的 part 和 connectedBodyPart 那个 另外 有点 身体部位 and 那个 有点 身体部位
(=>     (and         (instance ?R FalseRibBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (not         (exists (?S)             (and                 (instance ?S Sternum)                 (part ?S ?H)                 (connectedBodyPart ?S ?R)))))	Anatomy.kif 505-517	如果 有点 身体部位 是 FalseRibBone 的 instance 和 有点 身体部位 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 疾病或综合症 不 是 那个 客体 的 attribute， 然后 不存在 另一个 有点 身体部位 这样 另一个 有点 身体部位 是 Sternum 的 instance 和 那个 另外 有点 身体部位 是 那个 客体 的 part 和 connectedBodyPart 那个 另外 有点 身体部位 and 那个 有点 身体部位
(=>     (and         (instance ?R LumbarVertebraBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?S)         (and             (instance ?S LumbarVertebraBone)             (not                 (equal ?S ?R))             (part ?S ?H)             (connectedBodyPart ?S ?R))))	Anatomy.kif 601-614	如果 有点 身体部位 是 LumbarVertebraBone 的 instance 和 有点 身体部位 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 疾病或综合症 不 是 那个 客体 的 attribute， 然后 有存在 另一个 有点 身体部位 这样 另一个 有点 身体部位 是 LumbarVertebraBone 的 instance 和 那个 另外 有点 身体部位 不 equal 那个 有点 身体部位 和 那个 另外 有点 身体部位 是 那个 客体 的 part 和 connectedBodyPart 那个 另外 有点 身体部位 and 那个 有点 身体部位
(=>     (and         (instance ?R ThoracicVertebraBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?S)         (and             (instance ?S ThoracicVertebraBone)             (not                 (equal ?S ?R))             (part ?S ?H)             (connectedBodyPart ?S ?R))))	Anatomy.kif 669-682	如果 有点 身体部位 是 ThoracicVertebraBone 的 instance 和 有点 身体部位 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 疾病或综合症 不 是 那个 客体 的 attribute， 然后 有存在 另一个 有点 身体部位 这样 另一个 有点 身体部位 是 ThoracicVertebraBone 的 instance 和 那个 另外 有点 身体部位 不 equal 那个 有点 身体部位 和 那个 另外 有点 身体部位 是 那个 客体 的 part 和 connectedBodyPart 那个 另外 有点 身体部位 and 那个 有点 身体部位
(=>     (and         (instance ?R TrueRibBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?S)         (and             (instance ?S Sternum)             (part ?S ?H)             (connectedBodyPart ?S ?R))))	Anatomy.kif 492-503	如果 有点 身体部位 是 TrueRibBone 的 instance 和 有点 身体部位 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 疾病或综合症 不 是 那个 客体 的 attribute， 然后 有存在 另一个 有点 身体部位 这样 另一个 有点 身体部位 是 Sternum 的 instance 和 那个 另外 有点 身体部位 是 那个 客体 的 part 和 connectedBodyPart 那个 另外 有点 身体部位 and 那个 有点 身体部位
(=>     (and         (instance ?RAPIDS Rapids)         (bottom ?BOTTOM ?RAPIDS))     (exists (?ROCK)         (and             (instance ?ROCK Rock)             (part ?ROCK ?BOTTOM))))	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