(=>     (instance ?BERG Iceberg)     (exists (?SHEET)         (and             (subclass ?SHEET Glacier)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?BERG))                 (material ?SHEET ?BERG)))))	Geography.kif 4732-4740	如果 物理 是 冰山 的 instance， 然后 有存在 类 这样 那个 类 是 冰川 的 subclass 和 那个 类 是 那个 物理 的材料 在 紧接 那个 物理 出现 的 time before holdsDuring
(=>     (instance ?C Clotting)     (exists (?B)         (and             (instance ?B Blood)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?C))                 (attribute ?B Liquid))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?C))                 (attribute ?B Solid)))))	Mid-level-ontology.kif 10498-10510	如果 物理 是 Clotting 的 instance， 然后 有存在 实体 这样 那个 实体 是 血液 的 instance 和 液体 是 那个 实体 的 attribute 在 紧接 那个 物理 出现 的 time before holdsDuring 和 固体 是 那个 实体 的 attribute 在 紧接 那个 物理 出现 的 time after holdsDuring
(=>     (instance ?FMIP FindMyIPhone)     (hasPurpose ?FMIP         (exists (?A ?IP ?P ?L)             (and                 (instance ?IP AppleIPhone)                 (instrument ?P ?FMIP)                 (agent ?P ?A)                 (patient ?P ?IP)                 (holdsDuring                     (ImmediatePastFn                         (WhenFn ?P))                     (not                         (knows ?A                             (located ?IP ?L))))                 (holdsDuring                     (ImmediateFutureFn                         (WhenFn ?P))                     (knows ?A                         (located ?IP ?L)))))))	ComputingBrands.kif 4263-4282	如果 物理 是 FindMyIPhone 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 第四 实体 这样 那个 另外 实体 是 iPhone 的 instance 和 那个 物理 是导致 那个 第三 实体 的 instrument 和 那个 实体 是 那个 第三 实体 的 agent 和 那个 另外 实体 是 那个 第三 实体 的 patient 和 那个 实体 doesn't knows 那个 另外 实体 是 located 在 那个 第四 实体 在 紧接 那个 第三 实体 出现 的 time before holdsDuring 和 那个 实体 knows 那个 另外 实体 是 located 在 那个 第四 实体 在 紧接 那个 第三 实体 出现 的 time after holdsDuring
(=>     (instance ?I Inflating)     (exists (?G1 ?G2 ?V1 ?V2 ?S ?U)         (and             (instance ?G1 ?S)             (instance ?G2 ?S)             (instance ?S Substance)             (attribute ?G1 Gas)             (attribute ?G2 Gas)             (instance ?U UnitOfVolume)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?I))                 (measure ?G1                     (MeasureFn ?V1 ?U)))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?I))                 (measure ?G2                     (MeasureFn ?V2 ?U)))             (greaterThan ?V2 ?V1))))	Cars.kif 3606-3622	如果 物理 是 Inflating 的 instance， 然后 有存在 客体， 另一个 客体,， ， 实数,， ， 另一个 实数,， ， 类， and 和 实体 这样 那个 客体 是 那个 类 的 instance 和 那个 另外 客体 是 那个 类 的 instance 和 那个 类 是 物质 的 instance 和 加油站 是 那个 客体 的 attribute 和 加油站 是 那个 另外 客体 的 attribute 和 那个 实体 是 UnitOfVolume 的 instance 和 那个 客体 的 measure 是 那个 实数 那个 实体 在 紧接 那个 物理 出现 的 time before holdsDuring 和 那个 另外 客体 的 measure 是 那个 另外 实数 那个 实体 在 紧接 那个 物理 出现 的 time after holdsDuring 和 那个 另外 实数 是 greaterThan 那个 实数
(=>     (instance ?INTERVAL TimeInterval)     (finishes         (ImmediatePastFn ?INTERVAL)         (PastFn ?INTERVAL)))	Merge.kif 8504-8506	如果 时间位置 是 时距 的 instance， 然后 紧接 那个 时间位置 before finishes了才到 那个 时间位置 before
(=>     (instance ?S Shrapnel)     (exists (?B ?E)         (and             (instance ?B Bomb)             (instance ?E Explosion)             (instrument ?E ?B)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?E))                 (part ?S ?B))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?E))                 (not                     (part ?S ?B))))))	MilitaryDevices.kif 2103-2118	如果 实体 是 Shrapnel 的 instance， 然后 有存在 客体 和 过程 这样 那个 客体 是 炸弹 的 instance 和 那个 过程 是 爆炸 的 instance 和 那个 客体 是导致 那个 过程 的 instrument 和 那个 实体 是 那个 客体 的 part 在 紧接 那个 过程 出现 的 time before holdsDuring 和 那个 实体 不 是 那个 客体 的 part 在 紧接 那个 过程 出现 的 time after holdsDuring
(=>     (instance ?X Hijacking)     (exists (?V ?A)         (and             (agent ?X ?A)             (instance ?V TransportationDevice)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?X))                 (not                     (possesses ?A ?V)))             (holdsDuring                 (WhenFn ?X)                 (possesses ?A ?V)))))	Mid-level-ontology.kif 21904-21917	如果 过程 是 劫持 的 instance， 然后 有存在 实体 和 施事体 这样 那个 施事体 是 那个 过程 的 agent 和 那个 实体 是 运输设备 的 instance 和 那个 施事体 doesn't possesses 那个 实体 在 紧接 那个 过程 出现 的 time before holdsDuring 和 那个 施事体 possesses 那个 实体 在 那个 过程 出现 的 time holdsDuring
(=>     (instance ?X Kidnapping)     (exists (?A ?LOC1 ?LOC2)         (and             (instance ?A SentientAgent)             (instance ?LOC1 GeographicArea)             (instance ?LOC2 GeographicArea)             (not                 (equal ?LOC1 ?LOC2))             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?X))                 (located ?A ?LOC1))             (holdsDuring                 (WhenFn ?X)                 (located ?A ?LOC2)))))	Mid-level-ontology.kif 21960-21975	如果 物理 是 绑架 的 instance， 然后 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 有感知的主事 的 instance 和 那个 另外 实体 是 地理区域 的 instance 和 那个 第三 实体 是 地理区域 的 instance 和 那个 另外 实体 不 equal 那个 第三 实体 和 那个 实体 是 located 在 那个 另外 实体 在 紧接 那个 物理 出现 的 time before holdsDuring 和 那个 实体 是 located 在 那个 第三 实体 在 那个 物理 出现 的 time holdsDuring
(=>     (objectTransferred ?P ?OBJ)     (exists (?O ?D)         (and             (origin ?P ?O)             (destination ?P ?D)             (holdsDuring                 (ImmediatePastFn ?P)                 (located ?OBJ ?O))             (holdsDuring                 (ImmediateFutureFn ?P)                 (located ?OBJ ?D)))))	Merge.kif 11339-11350	如果 objectTransferred 转移 and 客体， 然后 有存在 另一个 客体 和 实体 这样 那个 另外 客体 是 那个 转移 的源头 和 那个 转移 在 那个 实体 结束 和 那个 客体 是 located 在 那个 另外 客体 在 紧接 那个 转移 before holdsDuring 和 那个 客体 是 located 在 那个 实体 在 紧接 那个 转移 after 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