(=>     (equal ?NUMDEMANDED         (DemandFn ?ME))     (exists (?DESIREDITEMS ?ITEMCLASS)         (and             (instance ?DESIREDITEMS Collection)             (memberCount ?DESIREDITEMS ?NUMDEMANDED)             (memberType ?ME ?ITEMCLASS)             (=>                 (and                     (instance ?H Human)                     (instance ?ITEM ?ITEMCLASS)                     (=>                         (and                             (instance ?B1 Buying)                             (patient ?B1 ?ITEM))                         (capability ?B1 agent ?H))                     (desires ?H                         (exists (?B2 ?ITEM)                             (and                                 (instance ?B2 Buying)                                 (transactionAmount ?B2 ?CM)                                 (patient ?B2 ?ITEM)                                 (member ?ITEM ?ME)                                 (agent ?B2 ?H)))))                 (member ?ITEM ?DESIREDITEMS)))))	Economy.kif 6792-6816	如果 equal 整数 and DemandFn MarketEconomics， 然后 有存在 群体 和 类 这样 那个 群体 是 群体 的 instance 和 那个 整数 是 那个 群体 的 member 计数 和 那个 类 是 那个 MarketEconomics 的 member 类别 和 如果 有认知的主事 是 人类 的 instance 和 物理 是 那个 类 的 instance 和 如果 有点 过程 是 购买 的 instance 和 那个 物理 是 有点 过程 的 patient， 然后 那个 有认知的主事 能够担当 主事 的角色做 那个 有点 过程 和 那个 有认知的主事 desires 有存在 实体 和 那个 物理 这样 那个 实体 是 购买 的 instance 和 另一个 实体 是 那个 实体 的 transaction 总额 和 那个 物理 是 那个 实体 的 patient 和 那个 物理 是 那个 MarketEconomics 的 member 和 那个 有认知的主事 是 那个 实体 的 agent， 然后 那个 物理 是 那个 群体 的 member
(=>     (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)     (subclass ?PRODUCTTYPE Collection))	Media.kif 3187-3189	如果 符号串 是在 语言 的 title 对于 类 的例子， 然后 那个 类 是 群体 的 subclass
(=>     (heartRate ?H ?T ?I)     (exists (?C ?M)         (and             (instance ?C Collection)             (memberType ?C HeartBeat)             (memberCount ?C ?I)             (=>                 (member ?M ?C)                 (and                     (patient ?M ?H)                     (during                         (WhenFn ?M) ?T))))))	Mid-level-ontology.kif 11674-11686	如果 heartRate 心, 时距 and 整数， 然后 有存在 群体 和 过程 这样 那个 群体 是 群体 的 instance 和 HeartBeat 是 那个 群体 的 member 类别 和 那个 整数 是 那个 群体 的 member 计数 和 如果 那个 过程 是 那个 群体 的 member， 然后 那个 心 是 那个 过程 的 patient 和 那个 过程 出现 的 time 在 那个 时距 时段内发生
(=>     (instance ?AB ArtilleryBattery)     (exists (?COLL)         (and             (instance ?COLL Collection)             (memberType ?COLL ArtilleryGun)             (memberCount ?COLL ?I)             (greaterThan ?I 2)             (possesses ?AB ?COLL))))	MilitaryPersons.kif 505-513	如果 施事体 是 炮兵电池 的 instance， 然后 有存在 群体 这样 那个 群体 是 群体 的 instance 和 火炮枪 是 那个 群体 的 member 类别 和 整数 是 那个 群体 的 member 计数 和 那个 整数 是 greaterThan 2 和 那个 施事体 possesses 那个 群体
(=>     (instance ?ADAPT OutletAdapter)     (exists (?HOLE)         (and             (instance ?HOLE Collection)             (memberType ?HOLE HoleRegion)             (part ?HOLE ?ADAPT)             (material Metal ?ADAPT))))	Mid-level-ontology.kif 27866-27873	如果 躯体性物体 是 OutletAdapter 的 instance， 然后 有存在 群体 这样 那个 群体 是 群体 的 instance 和 洞 是 那个 群体 的 member 类别 和 那个 群体 是 那个 躯体性物体 的 part 和 金属 是 那个 躯体性物体 的材料
(=>     (instance ?B BowlingBall)     (exists (?HOLES)         (and             (instance ?HOLES Collection)             (memberType ?HOLES HoleRegion)             (memberCount ?HOLES 3)             (located ?HOLES ?B)             (hasPurpose ?HOLES                 (exists (?FINGER ?HOLE)                     (and                         (member ?HOLE ?HOLES)                         (instance ?FINGER Finger)                         (partiallyFills ?FINGER ?HOLE)))))))	Sports.kif 1139-1152	如果 客体 是 BowlingBall 的 instance， 然后 有存在 群体 这样 那个 群体 是 群体 的 instance 和 洞 是 那个 群体 的 member 类别 和 3 是 那个 群体 的 member 计数 和 那个 群体 是 located 在 那个 客体 和 那个 群体 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 另外 实体 是 那个 群体 的 member 和 那个 实体 是 手指 的 instance 和 那个 实体 fills 了 那个 另外 实体 的一部分
(=>     (instance ?B Bus)     (hasPurpose ?B         (exists (?C ?T ?N ?P)             (and                 (instance ?C Collection)                 (instance ?T Transportation)                 (memberCount ?C ?N)                 (greaterThan ?N 11)                 (=>                     (member ?P ?C)                     (patient ?T ?P))))))	Transportation.kif 2112-2123	如果 物理 是 总线 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 第四 实体 这样 那个 实体 是 群体 的 instance 和 那个 另外 实体 是 运输 的 instance 和 那个 第三 实体 是 那个 实体 的 member 计数 和 那个 第三 实体 是 greaterThan 11 和 如果 那个 第四 实体 是 那个 实体 的 member， 然后 那个 第四 实体 是 那个 另外 实体 的 patient
(=>     (instance ?BF BowlingFacility)     (exists (?BL)         (and             (instance ?BL Collection)             (memberType ?BL BowlingLane)             (located ?BL ?BF))))	Sports.kif 1176-1182	如果 客体 是 BowlingFacility 的 instance， 然后 有存在 群体 这样 那个 群体 是 群体 的 instance 和 BowlingLane 是 那个 群体 的 member 类别 和 那个 群体 是 located 在 那个 客体
(=>     (instance ?DRIZZLE Drizzling)     (exists (?CLTN ?R ?SIZE)         (and             (instance ?CLTN Collection)             (instance ?R Water)             (instance ?R LiquidDrop)             (member ?R ?CLTN)             (objectTransferred ?DRIZZLE ?CLTN)             (approximateDiameter ?R                 (MeasureFn ?SIZE Millimeter))             (modalAttribute                 (lessThanOrEqualTo ?SIZE 0.5) Likely))))	Weather.kif 3528-3540	如果 转移 是 毛毛雨 的 instance， 然后 有存在 群体， 自身连接物体， and 和 实数 这样 那个 群体 是 群体 的 instance 和 那个 自身连接物体 是 水 的 instance 和 那个 自身连接物体 是 液体滴 的 instance 和 那个 自身连接物体 是 那个 群体 的 member 和 objectTransferred 那个 转移 and 那个 群体 和 1 的 approximate diameter 是 %2 和 那个 实数 是 lessThanOrEqualTo 0.5 的声明 has 容易 的语气
(=>     (instance ?DROP Raindrop)     (exists (?RAIN)         (and             (instance ?RAIN Rain)             (instance ?RAIN Collection)             (member ?DROP ?RAIN))))	Weather.kif 3706-3712	如果 物理 是 雨点 的 instance， 然后 有存在 群体 这样 那个 群体 是 雨水 的 instance 和 那个 群体 是 群体 的 instance 和 那个 物理 是 那个 群体 的 member
(=>     (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
(=>     (instance ?EXPERIMENT Experimenting)     (exists (?QUALIFYING_EVENTS)         (and             (instance ?QUALIFYING_EVENTS Collection)             (forall (?EVENT)                 (=>                     (and                         (instance ?EVENT Process)                         (or                             (experimentalControlProcess ?EXPERIMENT ?EVENT)                             (experimentalVariableProcess ?EXPERIMENT ?EVENT)))                     (member ?EVENT ?QUALIFYING_EVENTS)))             (equal                 (QualifyingEventsFn ?EXPERIMENT) ?QUALIFYING_EVENTS))))	UXExperimentalTerms.kif 4208-4223	如果 试验 是 试验 的 instance， 然后 有存在 实体_EVENTS 这样 那个 实体_EVENTS 是 群体 的 instance 和 对所有 过程 如果 那个 过程 是 过程 的 instance 和 control 在实验 那个 试验 是 那个 过程 或 那个 过程 在 那个 试验 的 process ， 然后 那个 过程 是 那个 实体_EVENTS 的 member 和 equal events 在 那个 试验 and 那个 实体_EVENTS
(=>     (instance ?EXPERIMENT Experimenting)     (exists (?TREATED_USERS)         (and             (instance ?TREATED_USERS Collection)             (forall (?USER)                 (=>                     (and                         (instance ?USER Human)                         (treatedUser ?USER ?EXPERIMENT))                     (member ?USER ?TREATED_USERS)))             (equal                 (TreatedUsersFn ?EXPERIMENT) ?TREATED_USERS))))	UXExperimentalTerms.kif 4281-4293	如果 试验 是 试验 的 instance， 然后 有存在 实体_USERS 这样 那个 实体_USERS 是 群体 的 instance 和 对所有 人类 如果 那个 人类 是 人类 的 instance 和 那个 人类 是个 treated used 在 那个 试验 ， 然后 那个 人类 是 那个 实体_USERS 的 member 和 equal treated users 在 那个 试验 and 那个 实体_USERS
(=>     (instance ?GUN RevolverGun)     (exists (?CY ?COLL ?C ?BC)         (and             (part ?CY ?GUN)             (instance ?CY GunCylinder)             (part ?COLL ?CY)             (instance ?COLL Collection)             (member ?C ?COLL)             (instance ?C GunChamber)             (contains ?C ?BC)             (instance ?BC BulletCartridge)             (not                 (exists (?BC2)                     (and                         (instance ?BC2 BulletCartridge)                         (not                             (equal ?BC ?BC2))                         (contains ?C ?BC2)))))))	Mid-level-ontology.kif 2041-2059	如果 客体 是 左轮手枪 的 instance， 然后 有存在 另一个 客体， 群体,， ， 自身连接物体， and 和 第三 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 那个 另外 客体 是 GunCylinder 的 instance 和 那个 群体 是 那个 另外 客体 的 part 和 那个 群体 是 群体 的 instance 和 那个 自身连接物体 是 那个 群体 的 member 和 那个 自身连接物体 是 GunChamber 的 instance 和 那个 自身连接物体 contains 那个 第三 客体 和 那个 第三 客体 是 BulletCartridge 的 instance 和 不存在 那个 第三 客体2 这样 那个 第三 客体2 是 BulletCartridge 的 instance 和 equal 那个 第三 客体 and 那个 第三 客体2 和 那个 自身连接物体 contains 那个 第三 客体2
(=>     (instance ?LGP LargeGroupProcess)     (exists (?G ?M)         (and             (instance ?G Collection)             (member ?M ?G)             (memberType ?G AutonomousAgent))))	Mid-level-ontology.kif 9099-9105	如果 实体 是 LargeGroupProcess 的 instance， 然后 有存在 群体 和 物理 这样 那个 群体 是 群体 的 instance 和 那个 物理 是 那个 群体 的 member 和 施事体 是 那个 群体 的 member 类别
(=>     (instance ?P Polymer)     (exists (?COLL ?M)         (and             (equal ?P ?COLL)             (instance ?COLL Collection)             (member ?M ?COLL)             (instance ?M Monomer))))	VirusProteinAndCellPart.kif 75-82	如果 实体 是 Polymer 的 instance， 然后 有存在 群体 和 物理 这样 equal 那个 实体 and 那个 群体 和 那个 群体 是 群体 的 instance 和 那个 物理 是 那个 群体 的 member 和 那个 物理 是 Monomer 的 instance
(=>     (instance ?PROCESS Sleeting)     (exists (?STUFF ?R ?S ?MELT)         (and             (instance ?STUFF Collection)             (objectTransferred ?PROCESS ?STUFF)             (instance ?R Raindrop)             (instance ?S Snowflake)             (member ?R ?STUFF)             (member ?S ?STUFF)             (instance ?MELT Melting)             (subProcess ?MELT ?PROCESS)             (patient ?MELT ?S))))	Weather.kif 1393-1405	如果 转移 是 雨雪 的 instance， 然后 有存在 群体， 物理,， ， 另一个 物理， and 和 过程 这样 那个 群体 是 群体 的 instance 和 objectTransferred 那个 转移 and 那个 群体 和 那个 物理 是 雨点 的 instance 和 那个 另外 物理 是 雪花 的 instance 和 那个 物理 是 那个 群体 的 member 和 那个 另外 物理 是 那个 群体 的 member 和 那个 过程 是 溶化 的 instance 和 那个 过程是那个 转移的subProcess 和 那个 另外 物理 是 那个 过程 的 patient
(=>     (instance ?RAIN Raining)     (exists (?CLTN ?R ?CLASS)         (and             (instance ?CLTN Collection)             (instance ?R Water)             (instance ?R LiquidDrop)             (instance ?R ?CLASS                 (member ?R ?CLTN)                 (objectTransferred ?RAIN ?CLTN)                 (defaultMinimumSphereRadius ?CLASS                     (MeasureFn 0.1 Millimeter))                 (defaultMaximumSphereRadius ?CLASS                     (MeasureFn 9.0 Millimeter))))))	Weather.kif 1292-1305	如果 实体 是 下雨 的 instance， 然后 有存在 另一个 实体， 第三 实体， and 和 类 这样 那个 另外 实体 是 群体 的 instance 和 那个 第三 实体 是 水 的 instance 和 那个 第三 实体 是 液体滴 的 instance 和 那个 第三 实体 是 那个 类 的 instance
(=>     (instance ?ROOM SelfServiceLaundry)     (exists (?WASHER ?DRYER)         (and             (instance ?WASHER Collection)             (memberType ?WASHER ClothesWashingMachine)             (located ?WASHER ?ROOM)             (instance ?DRYER Collection)             (memberType ?DRYER ClothesDryer)             (located ?DRYER ?ROOM))))	Mid-level-ontology.kif 27064-27073	如果 客体 是 SelfServiceLaundry 的 instance， 然后 有存在 群体 和 另一个 群体 这样 那个 群体 是 群体 的 instance 和 洗衣机 是 那个 群体 的 member 类别 和 那个 群体 是 located 在 那个 客体 和 那个 另外 群体 是 群体 的 instance 和 干衣机 是 那个 另外 群体 的 member 类别 和 那个 另外 群体 是 located 在 那个 客体
(=>     (instance ?S AirportStagingArea)     (hasPurpose ?S         (exists (?B ?C ?D ?T)             (and                 (instance ?B Boarding)                 (instance ?C Collection)                 (instrument ?B ?C)                 (member ?D ?C)                 (instance ?D Device)                 (locatedAtTime ?C ?T ?S)                 (during ?T                     (WhenFn ?B))))))	Transportation.kif 1318-1329	如果 物理 是 AirportStagingArea 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 第四 实体 这样 那个 实体 是 登机 的 instance 和 那个 另外 实体 是 群体 的 instance 和 那个 另外 实体 是导致 那个 实体 的 instrument 和 那个 第三 实体 是 那个 另外 实体 的 member 和 那个 第三 实体 是 设备 的 instance 和 那个 另外 实体 对于 那个 物理 在时间 那个 第四 实体 located 和 那个 第四 实体 在 那个 实体 出现 的 time 时段内发生
(=>     (instance ?S AirportStagingArea)     (hasPurpose ?S         (exists (?DB ?C ?D ?T)             (and                 (instance ?DB Deboarding)                 (instance ?C Collection)                 (instrument ?DB ?C)                 (member ?D ?C)                 (instance ?D Device)                 (locatedAtTime ?C ?T ?S)                 (during ?T                     (WhenFn ?DB))))))	Transportation.kif 1331-1342	如果 物理 是 AirportStagingArea 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 第四 实体 这样 那个 实体 是 deboarding 的 instance 和 那个 另外 实体 是 群体 的 instance 和 那个 另外 实体 是导致 那个 实体 的 instrument 和 那个 第三 实体 是 那个 另外 实体 的 member 和 那个 第三 实体 是 设备 的 instance 和 那个 另外 实体 对于 那个 物理 在时间 那个 第四 实体 located 和 那个 第四 实体 在 那个 实体 出现 的 time 时段内发生
(=>     (instance ?S Snowflake)     (exists (?SNOW)         (and             (instance ?SNOW Snow)             (instance ?SNOW Collection)             (member ?S ?SNOW))))	Weather.kif 3738-3744	如果 物理 是 雪花 的 instance， 然后 有存在 那个 物理NOW 这样 那个 物理NOW 是 雪 的 instance 和 那个 物理NOW 是 群体 的 instance 和 那个 物理 是 那个 物理NOW 的 member
(=>     (instance ?SHOT FirearmShot)     (exists (?C ?P ?CLASS ?X)         (and             (instance ?C Collection)             (member ?P ?C)             (instance ?P ?CLASS)             (subclass ?CLASS SphericalObject)             (approximateDiameter ?P                 (MeasureFn ?X Millimeter))             (modalAttribute                 (and                     (material ?CLASS Lead)                     (lessThan ?X 10)) Likely))))	Mid-level-ontology.kif 1150-1163	如果 实体 是 FirearmShot 的 instance， 然后 有存在 群体， 自身连接物体,， ， 那个 群体LASS， and 和 实数 这样 那个 群体 是 群体 的 instance 和 那个 自身连接物体 是 那个 群体 的 member 和 那个 自身连接物体 是 那个 群体LASS 的 instance 和 那个 群体LASS 是 SphericalObject 的 subclass 和 1 的 approximate diameter 是 %2 和 那个 群体LASS 是 铅 的材料 和 那个 实数 是 lessThan 10 的声明 has 容易 的语气
(=>     (instance ?SNOW Snowing)     (exists (?CLTN ?I)         (and             (instance ?CLTN Collection)             (instance ?I Ice)             (attribute ?I MonoCrystalline)             (member ?I ?CLTN)             (objectTransferred ?SNOW ?CLTN))))	Weather.kif 1376-1384	如果 转移 是 下雪 的 instance， 然后 有存在 群体 和 客体 这样 那个 群体 是 群体 的 instance 和 那个 客体 是 冰 的 instance 和 单晶结构 是 那个 客体 的 attribute 和 那个 客体 是 那个 群体 的 member 和 objectTransferred 那个 转移 and 那个 群体
(=>     (instance ?STUFF Hailstone)     (exists (?PROCESS ?CLTN)         (and             (instance ?PROCESS Hailing)             (instance ?CLTN Collection)             (objectTransferred ?PROCESS ?CLTN)             (member ?STUFF ?CLTN))))	Weather.kif 3799-3806	如果 物理 是 冰雹 的 instance， 然后 有存在 转移 和 群体 这样 那个 转移 是 下冰雹 的 instance 和 那个 群体 是 群体 的 instance 和 objectTransferred 那个 转移 and 那个 群体 和 那个 物理 是 那个 群体 的 member
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