(=>     (and         (instance ?IC IgnitionCoil)         (instance ?P ElectricTransmission)         (resource ?P ?E1)         (instance ?E1 Electricity)         (instance ?E2 Electricity)         (result ?P ?E2)         (instrument ?P ?IC)         (measure ?E1             (MeasureFn ?N1 Volt)))     (approximateValue ?N1 12))	Cars.kif 3155-3165	如果 客体 是 IgnitionCoil 的 instance 和 过程 是 ElectricTransmission 的 instance 和 另一个 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 电力 的 instance 和 实体 是 电力 的 instance 和 那个 实体 是 那个 过程 的 result 和 那个 客体 是导致 那个 过程 的 instrument 和 那个 另外 客体 的 measure 是 实数 伏特， 然后 approximateValue 那个 实数 and 12
(=>     (and         (instance ?L CocoaLiquor)         (weight ?L             (MeasureFn 100.0 Gram))         (instance ?S CocoaSolid)         (part ?S ?L)         (weight ?S             (MeasureFn ?X Gram))         (instance ?B CocoaButter)         (part ?B ?L)         (weight ?B             (MeasureFn ?Y Gram)))     (and         (approximateValue ?X 50.0)         (approximateValue ?Y 50.0)))	Food.kif 2463-2478	如果 自身连接物体 是 CocoaLiquor 的 instance 和 100.0 公克 是 那个 自身连接物体 的 weight 和 另一个 自身连接物体 是 可可粉 的 instance 和 那个 另外 自身连接物体 是 那个 自身连接物体 的 part 和 实数 公克 是 那个 另外 自身连接物体 的 weight 和 第三 自身连接物体 是 可可脂 的 instance 和 那个 第三 自身连接物体 是 那个 自身连接物体 的 part 和 另一个 实数 公克 是 那个 第三 自身连接物体 的 weight ， 然后 approximateValue 那个 实数 and 50.0 和 approximateValue 那个 另外 实数 and 50.0
(=>     (and         (instance ?L LongBlack)         (part ?E ?L)         (part ?W ?L)         (instance ?E Espresso)         (instance ?W DrinkingWater)         (mixtureRatio ?E ?W ?V1 ?V2 Liter))     (and         (approximateValue ?V1 0.06)         (approximateValue ?V2 0.12)))	Food.kif 1440-1450	如果 客体 是 LongBlack 的 instance 和 物质 是 那个 客体 的 part 和 另一个 物质 是 那个 客体 的 part 和 那个 物质 是 Espresso 的 instance 和 那个 另外 物质 是 饮用水 的 instance 和 mixtureRatio 那个 物质, 那个 另外 物质, 实数, 另一个 实数 and 升， 然后 approximateValue 那个 实数 and 0.06 和 approximateValue 那个 另外 实数 and 0.12
(=>     (and         (instance ?SW SeaWater)         (measure ?SW             (MeasureFn 1.0 Liter))         (part ?SALT ?SW)         (instance ?SALT SodiumChloride)         (measure ?SALT             (MeasureFn ?R Gram)))     (approximateValue ?R 35.0))	Geography.kif 2836-2845	如果 客体 是 SeaWater 的 instance 和 那个 客体 的 measure 是 1.0 升 和 另一个 客体 是 那个 客体 的 part 和 那个 另外 客体 是 盐 的 instance 和 那个 另外 客体 的 measure 是 实数 公克， 然后 approximateValue 那个 实数 and 35.0
(=>     (and         (typicalBloodVolume ?M             (MeasureFn ?N ?U))         (instance ?MI ?M)         (holdsDuring ?T             (and                 (not                     (attribute ?H DiseaseOrSyndrome))                 (bloodVolume ?H                     (MeasureFn ?N2 ?U)))))     (approximateValue ?N2 ?N))	Medicine.kif 5933-5944	如果 typicalBloodVolume 有点 哺乳动物 and 实数 测量单位 和 有点 哺乳动物I 是 那个 有点 哺乳动物 的 instance 和 疾病或综合症 不 是 另一个 实体 的 attribute 和 bloodVolume 那个 另外 实体 and 那个 实数2 那个 测量单位 在 时间位置 holdsDuring， 然后 approximateValue 那个 实数2 and 那个 实数
(=>     (instance ?E Espresso)     (exists (?W ?V)         (and             (instance ?W DrinkingWater)             (part ?W ?E)             (measure ?W                 (MeasureFn ?V Liter))             (approximateValue ?V 0.03))))	Food.kif 754-762	如果 客体 是 Espresso 的 instance， 然后 有存在 另一个 客体 和 实数 这样 那个 另外 客体 是 饮用水 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 那个 另外 客体 的 measure 是 那个 实数 升 和 approximateValue 那个 实数 and 0.03
(=>     (instance ?EM EspressoMaking)     (holdsDuring ?EM         (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)             (and                 (instance ?H Heating)                 (patient ?H ?W)                 (measure ?W                     (MeasureFn ?V Liter))                 (approximateValue ?V 0.03)                 (holdsDuring                     (EndFn                         (WhenFn ?H))                     (and                         (measure ?W                             (MeasureFn ?T CelsiusDegree))                         (approximateValue ?T 90)))                 (instance ?LM LiquidMotion)                 (patient ?LM ?W)                 (holdsDuring ?LM                     (and                         (measure ?W                             (MeasureFn ?P                                 (KiloFn Pascal)))                         (approximateValue ?P 900)))                 (destination ?LM ?COLL)                 (instance ?COLL Collection)                 (measure ?COLL                     (MeasureFn ?K Gram))                 (approximateValue ?K 7.5)                 (member ?COLL ?CG)                 (instance ?CG CoffeeGrind)                 (attribute ?CG FineGrind)                 (located ?COLL ?F)                 (instance ?F Filter)                 (instance ?R Removing)                 (instrument ?R ?F)                 (patient ?R ?COLL)                 (temporallyBetween                     (EndFn                         (WhenFn ?H))                     (EndFn                         (WhenFn ?LM))                     (EndFn                         (WhenFn ?R)))))))	Food.kif 799-834	如果 时间位置 是 EspressoMaking 的 instance， 然后 有存在 实体， 另一个 实体,， ， 第三 实体,， ， 第四 实体,， ， 第五 实体,， ， 第六 实体,， ， 第七 实体,， ， 第八 实体,， ， 第九 实体,， ， 第十 实体， and 和 第十一 实体 这样 那个 实体 是 加热 的 instance 和 那个 另外 实体 是 那个 实体 的 patient 和 那个 另外 实体 的 measure 是 那个 第三 实体 升 和 approximateValue 那个 第三 实体 and 0.03 和 那个 另外 实体 的 measure 是 那个 第四 实体 摄氏度 和 approximateValue 那个 第四 实体 and 90 在 那个 实体 出现 的 time 的结束 holdsDuring 和 那个 第五 实体 是 液体运动 的 instance 和 那个 另外 实体 是 那个 第五 实体 的 patient 和 那个 另外 实体 的 measure 是 那个 第六 实体 帕斯卡 的一千倍 和 approximateValue 那个 第六 实体 and 900 在 那个 第五 实体 holdsDuring 和 那个 第五 实体 在 那个 第七 实体 结束 和 那个 第七 实体 是 群体 的 instance 和 那个 第七 实体 的 measure 是 那个 第八 实体 公克 和 approximateValue 那个 第八 实体 and 7.5 和 那个 第七 实体 是 那个 第九 实体 的 member 和 那个 第九 实体 是 CoffeeGrind 的 instance 和 FineGrind 是 那个 第九 实体 的 attribute 和 那个 第七 实体 是 located 在 那个 第十 实体 和 那个 第十 实体 是 过滤 的 instance 和 那个 第十一 实体 是 移除 的 instance 和 那个 第十 实体 是导致 那个 第十一 实体 的 instrument 和 那个 第七 实体 是 那个 第十一 实体 的 patient 和 时间那个 第五 实体 出现 的 time 的结束 是在时间 那个 实体 出现 的 time 的结束 和 时间 那个 第十一 实体 出现 的 time 的结束 between 在 那个 时间位置 holdsDuring

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