(=>     (and         (paidRoomAmenity ?ROOM ?OBJ)         (subclass ?OBJ Object)         (instance ?R ?ROOM)         (stays ?GUEST ?R)         (element ?R             (PropertyFn ?HOTEL))         (instance ?O ?OBJ)         (located ?O ?R)         (instance ?P Process)         (agent ?P ?GUEST)         (or             (located ?P ?R)             (patient ?P ?O)             (instrument ?P ?O)             (resource ?P ?O)))     (exists (?PRICE ?U)         (and             (price ?O                 (MeasureFn ?PRICE ?U) ?GUEST)             (instance ?U UnitOfCurrency)             (greaterThan ?PRICE 0))))	Hotel.kif 396-417	如果 有点 HotelUnit 的 承租人 能 pay 去使用 有点 物理 和 有点 物理 是 客体 的 subclass 和 暂住 是 有点 HotelUnit 的 instance 和 人类 stays 在 那个 暂住 和 那个 暂住 是 施事体 的财产 的 element 和 客体 是 那个 有点 物理 的 instance 和 那个 客体 是 located 在 那个 暂住 和 过程 是 过程 的 instance 和 那个 人类 是 那个 过程 的 agent 和 那个 过程 是 located 在 那个 暂住 或 那个 客体 是 那个 过程 的 patient 或 那个 客体 是导致 那个 过程 的 instrument 或 那个 客体 是 那个 过程 的 resource， 然后 有存在 那个 过程RICE 和 测量单位 这样 那个 客体 是 对于 那个 人类 的 price 那个 过程RICE 那个 测量单位 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 那个 过程RICE 是 greaterThan 0
(=>     (and         (roomAmenity ?ROOM ?OBJ)         (subclass ?OBJ Object))     (forall (?R)         (=>             (instance ?R ?ROOM)             (exists (?O)                 (and                     (instance ?R ?ROOM)                     (instance ?O ?OBJ)                     (located ?O ?R))))))	Hotel.kif 281-292	如果 有点 物理 是 amenity 在 有点 HotelUnit 和 有点 物理 是 客体 的 subclass， 然后 对所有 客体 如果 那个 客体 是 有点 HotelUnit 的 instance， 然后 有存在 另一个 物理 这样 那个 客体 是 那个 有点 HotelUnit 的 instance 和 那个 另外 物理 是 那个 有点 物理 的 instance 和 那个 另外 物理 是 located 在 那个 客体
(=>     (and         (subclass ?TYPE Process)         (instance ?EVENT ?TYPE)         (eventLocated ?EVENT ?REGION)         (instance ?ROLE CaseRole)         (instance ?OBJECT Object)         (instance ?REGION GeographicArea)         (?ROLE ?EVENT ?OBJECT))     (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION))	Transportation.kif 2692-2701	如果 有点 过程 是 过程 的 subclass 和 另一个 过程 是 有点 过程 的 instance 和 那个 另外 过程 是 located 在 地区 和 格角色 是 格角色 的 instance 和 客体 是 客体 的 instance 和 那个 地区 是 地理区域 的 instance 和 那个 格角色 那个 另外 过程 and 那个 客体， 然后 那个 有点 过程 capable 在地点 那个 格角色 对于 那个 客体 跟 那个 地区 在一起
(=>     (and         (visibilityInMeteorology ?Area ?Time             (MeasureFn ?Distance ?U))         (instance ?U UnitOfMeasure)         (instance ?Time DayTime)         (instance ?Observe Looking)         (instance ?B Object)         (color ?B Black)         (agent ?Observe ?A)         (patient ?Observe ?B)         (orientation ?A ?B Horizontal)         (eventLocated ?Observe ?Area)         (during             (WhenFn ?Observe) ?Time)         (instance ?B Object))     (exists (?D2)         (and             (distance ?A ?B                 (MeasureFn ?D2 ?U))             (greaterThan ?Distance ?D2))))	Weather.kif 2728-2748	如果 visibility 在 地区 期间 时距 是 实数 测量单位 和 那个 测量单位 是 测量单位 的 instance 和 那个 时距 是 一天的时间 的 instance 和 过程 是 看着 的 instance 和 客体 是 客体 的 instance 和 那个 客体 是 黑色 的 color 和 施事体 是 那个 过程 的 agent 和 那个 客体 是 那个 过程 的 patient 和 那个 施事体 在 那个 客体 的 横 和 那个 过程 是 located 在 那个 地区 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 客体 是 客体 的 instance， 然后 有存在 另一个 实数 这样 那个 施事体 和 那个 客体 的 distance 是 那个 另外 实数 那个 测量单位 和 那个 实数 是 greaterThan 那个 另外 实数
(=>     (and         (visibilityInMeteorology ?Area ?Time             (MeasureFn ?Distance ?U))         (instance ?U UnitOfMeasure)         (instance ?Time NightTime)         (instance ?Observe Looking)         (instance ?B Region)         (attribute ?B Illuminated)         (measure ?B             (MeasureFn 1000.0 Candela))         (agent ?Observe ?A)         (patient ?Observe ?B)         (orientation ?A ?B Horizontal)         (eventLocated ?Observe ?Area)         (during             (WhenFn ?Observe) ?Time)         (instance ?B Object))     (exists (?D2)         (and             (distance ?A ?B                 (MeasureFn ?D2 ?U))             (greaterThan ?Distance ?D2))))	Weather.kif 2750-2771	如果 visibility 在 地区 期间 时距 是 实数 测量单位 和 那个 测量单位 是 测量单位 的 instance 和 那个 时距 是 晚上的时间 的 instance 和 过程 是 看着 的 instance 和 客体 是 地区 的 instance 和 发光的 是 那个 客体 的 attribute 和 那个 客体 的 measure 是 1000.0 坎德拉 和 施事体 是 那个 过程 的 agent 和 那个 客体 是 那个 过程 的 patient 和 那个 施事体 在 那个 客体 的 横 和 那个 过程 是 located 在 那个 地区 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 客体 是 客体 的 instance， 然后 有存在 另一个 实数 这样 那个 施事体 和 那个 客体 的 distance 是 那个 另外 实数 那个 测量单位 和 那个 实数 是 greaterThan 那个 另外 实数
(=>     (and         (wants ?AGENT ?OBJ)         (instance ?OBJ Object))     (desires ?AGENT         (possesses ?AGENT ?OBJ)))	Merge.kif 2777-2782	如果 有认知的主事 wants 物理 和 那个 物理 是 客体 的 instance， 然后 那个 有认知的主事 desires 那个 有认知的主事 possesses 那个 物理
(=>     (and         (watchingListings ?USER ?COLL ?SITE)         (instance ?LISTING WebListing)         (instance ?OBJ Object)         (patient ?LISTING ?OBJ)         (member ?LISTING ?COLL))     (modalAttribute         (desires ?USER             (exists (?BUYING)                 (and                     (instance ?BUYING Buying)                     (patient ?BUYING ?OBJ)                     (agent ?BUYING ?USER)))) Likely))	UXExperimentalTerms.kif 1257-1271	如果 使用者 施事体 在 WebSite 是 watching 群体 和 过程 是 WebListing 的 instance 和 实体 是 客体 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 过程 是 那个 群体 的 member， 然后 那个 施事体 desires 有存在 另一个 实体 这样 那个 另外 实体 是 购买 的 instance 和 那个 实体 是 那个 另外 实体 的 patient 和 那个 施事体 是 那个 另外 实体 的 agent 的声明 has 容易 的语气
(=>     (and         (webcart ?USER ?COLL ?SITE)         (instance ?OBJ Object)         (member ?OBJ ?COLL))     (desires ?USER         (exists (?BUYING)             (and                 (instance ?BUYING Buying)                 (patient ?BUYING ?OBJ)                 (agent ?BUYING ?USER)))))	UXExperimentalTerms.kif 690-700	如果 使用者 有认知的主事 在 WebSite 有 cart 群体 和 物理 是 客体 的 instance 和 那个 物理 是 那个 群体 的 member， 然后 那个 有认知的主事 desires 有存在 实体 这样 那个 实体 是 购买 的 instance 和 那个 物理 是 那个 实体 的 patient 和 那个 有认知的主事 是 那个 实体 的 agent
(=>     (instance ?O Object)     (capability Translocation destination ?O))	Merge.kif 858-860	如果 客体 是 客体 的 instance， 然后 那个 客体 能够担当 终点 的角色做 易位
(=>     (instance ?O Object)     (capability Translocation origin ?O))	Merge.kif 854-856	如果 客体 是 客体 的 instance， 然后 那个 客体 能够担当 源头 的角色做 易位
(=>     (instance ?OBJ Object)     (exists (?TIME1 ?TIME2)         (and             (instance ?TIME1 TimePoint)             (instance ?TIME2 TimePoint)             (before ?TIME1 ?TIME2)             (forall (?TIME)                 (=>                     (and                         (beforeOrEqual ?TIME1 ?TIME)                         (beforeOrEqual ?TIME ?TIME2))                     (time ?OBJ ?TIME))))))	Merge.kif 8110-8122	如果 物理 是 客体 的 instance， 然后 有存在 时点 和 另一个 时点 这样 那个 时点 是 时点 的 instance 和 那个 另外 时点 是 时点 的 instance 和 那个 时点%n在那个 另外 时点before发生 和 对所有 第三 时点 如果 那个 时点%n{doesn't}在那个 第三 时点 之前或同时发生 和 那个 第三 时点%n{doesn't}在那个 另外 时点 之前或同时发生， 然后 那个 物理 在 那个 第三 时点 是 存在
(=>     (instance ?OBJ Object)     (or         (attribute ?OBJ Monochromatic)         (attribute ?OBJ Polychromatic)))	Merge.kif 17699-17703	如果 客体 是 客体 的 instance， 然后 单色 是 那个 客体 的 attribute 或 多色 是 那个 客体 的 attribute

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