(=>     (and         (instance ?A Herbivore)         (agent ?E ?A)         (instance ?E Eating)         (patient ?E ?F))     (instance ?F Plant))	Mid-level-ontology.kif 17805-17811	如果 施事体 是 Herbivore 的 instance 和 那个 施事体 是 过程 的 agent 和 那个 过程 是 进食 的 instance 和 实体 是 那个 过程 的 patient， 然后 那个 实体 是 植物 的 instance
(=>     (and         (instance ?ABORTED             (AbortedMissionFn ?A ?MISSION))         (causes ?ACTION ?ABORTED)         (agent ?ACTION ?OTHER_A)         (agent ?MISSION ?THIS_A))     (not         (enemy ?OTHER_A ?THIS_A)))	MilitaryProcesses.kif 2407-2412	如果 过程 是 AbortedMissionFn 施事体 and MilitaryOperation 的 instance 和 那个 施事体CTION causes 那个 过程 和 实体_A 是 那个 施事体CTION 的 agent 和 另一个 实体_A 是 那个 MilitaryOperation 的 agent， 然后 enemy 那个 实体_A and 那个 另外 实体_A
(=>     (and         (instance ?ACCELERATE Accelerating)         (agent ?ACCELERATE ?AGENT))     (exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?ACCELERATE))                 (measure ?AGENT                     (SpeedFn ?LENGTH1 ?TIME1)))             (holdsDuring                 (EndFn                     (WhenFn ?ACCELERATE))                 (measure ?AGENT                     (SpeedFn ?LENGTH2 ?TIME2)))             (or                 (greaterThan ?LENGTH2 ?LENGTH1)                 (greaterThan ?TIME2 ?TIME1)))))	Mid-level-ontology.kif 14727-14737	如果 过程 是 Accelerating 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 数量， 另一个 数量,， ， 第三 数量， and 和 第四 数量 这样 那个 施事体 的 measure 是 那个 数量 除以 那个 第三 数量 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 的 measure 是 那个 另外 数量 除以 那个 第四 数量 在 那个 过程 出现 的 time 的结束 holdsDuring 和 那个 另外 数量 是 greaterThan 那个 数量 或 那个 第四 数量 是 greaterThan 那个 第三 数量
(=>     (and         (instance ?ACCESSING AccessingWebPage)         (instance ?PAGE WebPage)         (instance ?TRANSFER DataTransfer)         (instance ?SERVER Server)         (instance ?REQUESTING Requesting)         (instance ?BROWSER WebBrowser)         (instance ?INTERVAL TimeInterval)         (patient ?ACCESSING ?PAGE)         (agent ?REQUESTING ?BROWSER)         (destination ?REQUESTING ?SERVER)         (patient ?REQUESTING ?PAGE)         (origin ?TRANSFER ?SERVER)         (destination ?TRANSFER ?BROWSER)         (patient ?TRANSFER ?PAGE)         (subProcess ?TRANSFER ?ACCESSING)         (subProcess ?REQUESTING ?ACCESSING)         (equal             (EndFn                 (WhenFn ?REQUESTING))             (BeginFn ?INTERVAL))         (equal             (EndFn                 (WhenFn ?TRANSFER))             (EndFn ?INTERVAL)))     (equal         (SiteSpeedFn ?ACCESSING) ?INTERVAL))	UXExperimentalTerms.kif 3954-3979	如果 AccessingWebPage 是 AccessingWebPage 的 instance 和 实体 是 WebPage 的 instance 和 过程 是 DataTransfer 的 instance 和 客体 是 Server 的 instance 和 另一个 过程 是 要求 的 instance 和 施事体 是 WebBrowser 的 instance 和 时距 是 时距 的 instance 和 那个 实体 是 那个 AccessingWebPage 的 patient 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程 在 那个 客体 结束 和 那个 实体 是 那个 另外 过程 的 patient 和 那个 客体 是 那个 过程 的源头 和 那个 过程 在 那个 施事体 结束 和 那个 实体 是 那个 过程 的 patient 和 那个 过程%n是那个 AccessingWebPage的subProcess 和 那个 另外 过程%n是那个 AccessingWebPage的subProcess 和 那个 另外 过程 出现 的 time 的结束 equal 那个 时距 的开始 和 那个 过程 出现 的 time 的结束 equal 那个 时距 的结束， 然后 SiteSpeedFn 那个 AccessingWebPage equal 那个 时距
(=>     (and         (instance ?ACT OrganizationalProcess)         (agent ?ACT ?AGENT))     (or         (instance ?AGENT Organization)         (exists (?ORG)             (and                 (instance ?ORG Organization)                 (member ?AGENT ?ORG)))))	Merge.kif 10582-10591	如果 过程 是 机构性过程 的 instance 和 施事体 是 那个 过程 的 agent， 然后 那个 施事体 是 机构 的 instance 或 有存在 群体 这样 那个 群体 是 机构 的 instance 和 那个 施事体 是 那个 群体 的 member
(=>     (and         (instance ?ACT ReligiousProcess)         (agent ?ACT ?AGENT))     (or         (instance ?AGENT ReligiousOrganization)         (exists (?ORG)             (and                 (member ?AGENT ?ORG)                 (instance ?ORG ReligiousOrganization)))))	Merge.kif 10606-10615	如果 过程 是 宗教过程 的 instance 和 施事体 是 那个 过程 的 agent， 然后 那个 施事体 是 宗教机构 的 instance 或 有存在 群体 这样 那个 施事体 是 那个 群体 的 member 和 那个 群体 是 宗教机构 的 instance
(=>     (and         (instance ?AMBULATE Ambulating)         (agent ?AMBULATE ?AGENT))     (attribute ?AGENT Standing))	Merge.kif 18467-18471	如果 过程 是 Ambulating 的 instance 和 施事体 是 那个 过程 的 agent， 然后 Standing 是 那个 施事体 的 attribute
(=>     (and         (instance ?AMBULATE Ambulating)         (instance ?STEP Stepping)         (subProcess ?STEP ?AMBULATE)         (agent ?AMBULATE ?AGENT))     (agent ?STEP ?AGENT))	Mid-level-ontology.kif 692-698	如果 过程 是 Ambulating 的 instance 和 另一个 过程 是 Stepping 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 施事体 是 那个 过程 的 agent， 然后 那个 施事体 是 那个 另外 过程 的 agent
(=>     (and         (instance ?AMBULATE Ambulating)         (instance ?STEP Stepping)         (subProcess ?STEP ?AMBULATE)         (agent ?STEP ?AGENT))     (agent ?AMBULATE ?AGENT))	Mid-level-ontology.kif 701-707	如果 过程 是 Ambulating 的 instance 和 另一个 过程 是 Stepping 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 施事体 是 那个 另外 过程 的 agent， 然后 那个 施事体 是 那个 过程 的 agent
(=>     (and         (instance ?AMBUSH Ambush)         (agent ?AMBUSH ?AG))     (exists (?C)         (and             (instance ?C Concealing)             (subProcess ?C ?AMBUSH)             (hasPurpose ?C                 (exists (?ATTACK)                     (and                         (instance ?ATTACK Attack)                         (agent ?ATTACK ?AG)))))))	Mid-level-ontology.kif 19542-19554	如果 过程 是 Ambush 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 另一个 过程 这样 那个 另外 过程 是 Concealing 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 另外 过程 的 目的 是 有存在 另一个 实体 这样 那个 另外 实体 是 Attack 的 instance 和 那个 施事体 是 那个 另外 实体 的 agent
(=>     (and         (instance ?APR AirPhotographicReconnaissance)         (agent ?APR ?AGENT)         (patient ?APR ?HOSTILE))     (exists (?PHOTOGRAPHING)         (and             (instance ?PHOTOGRAPHING Photographing)             (subProcess ?PHOTOGRAPHING ?APR)             (agent ?PHOTOGRAPHING ?AGENT)             (patient ?PHOTOGRAPHING ?HOSTILE))))	MilitaryProcesses.kif 742-752	如果 过程 是 AirPhotographicReconnaissance 的 instance 和 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient， 然后 有存在 另一个 过程 这样 那个 另外 过程 是 Photographing 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 实体 是 那个 另外 过程 的 patient
(=>     (and         (instance ?AR AmphibiousReconnaissance)         (agent ?AR ?AGENT))     (exists (?LANDING)         (and             (subProcess ?LANDING ?AR)             (instance ?LANDING LandingWaterLand)             (agent ?LANDING ?AGENT))))	MilitaryProcesses.kif 771-779	如果 过程 是 AmphibiousReconnaissance 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 另一个 过程 这样 那个 另外 过程%n是那个 过程的subProcess 和 那个 另外 过程 是 LandingWaterLand 的 instance 和 那个 施事体 是 那个 另外 过程 的 agent
(=>     (and         (instance ?AR ArmedReconnaissance)         (agent ?AR ?AGENT)         (patient ?AR ?HOSTILE)         (holdsDuring             (WhenFn ?AR)             (enemy ?AGENT ?HOSTILE)))     (confersRight         (exists (?ATTACK)             (and                 (instance ?ATTACK Attack)                 (agent ?ATTACK ?AGENT)                 (patient ?ATTACK ?HOSTILE))) ?AR ?AGENT))	MilitaryProcesses.kif 89-103	如果 过程 是 ArmedReconnaissance 的 instance 和 有认知的主事 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient 和 enemy 那个 有认知的主事 and 那个 实体 在 那个 过程 出现 的 time holdsDuring， 然后 那个 过程 允许 那个 有认知的主事 执行 有存在 另一个 实体 这样 那个 另外 实体 是 Attack 的 instance 和 那个 有认知的主事 是 那个 另外 实体 的 agent 和 那个 实体 是 那个 另外 实体 的 patient 的任务
(=>     (and         (instance ?ARREST PlacingUnderArrest)         (agent ?ARREST ?AGENT))     (instance ?AGENT CognitiveAgent))	Mid-level-ontology.kif 21393-21397	如果 过程 是 PlacingUnderArrest 的 instance 和 施事体 是 那个 过程 的 agent， 然后 那个 施事体 是 有认知的主事 的 instance
(=>     (and         (instance ?ATC AddToCart)         (instance ?OBJ Object)         (patient ?ATC ?OBJ)         (agent ?ATC ?USER))     (exists (?COLL ?SITE ?AFTER)         (and             (instance ?COLL Collection)             (instance ?SITE Website)             (instance ?INTERVAL TimeInterval)             (webcart ?USER ?COLL ?SITE)             (equal                 (BeginFn ?INTERVAL)                 (EndFn ?ATC))             (holdsDuring ?AFTER                 (member ?OBJ ?COLL)))))	UXExperimentalTerms.kif 1523-1539	如果 时距 是 AddToCart 的 instance 和 实体 是 客体 的 instance 和 那个 实体 是 那个 时距 的 patient 和 施事体 是 那个 时距 的 agent， 然后 有存在 群体， WebSite， and 和 时间位置 这样 那个 群体 是 群体 的 instance 和 那个 WebSite 是 Website 的 instance 和 另一个 时距 是 时距 的 instance 和 webcart 那个 施事体, 那个 群体 and 那个 WebSite 和 那个 另外 时距 的开始 equal 那个 时距 的结束 和 那个 实体 是 那个 群体 的 member 在 那个 时间位置 holdsDuring
(=>     (and         (instance ?ATC AddToCart)         (instance ?USER Agent)         (instance ?OBJ Object)         (agent ?ATC ?USER)         (patient ?ATC ?OBJ))     (desires ?AGENT         (exists (?BUYING)             (and                 (instance ?BUYING Buying)                 (patient ?BUYING ?OBJ)                 (agent ?BUYING ?USER)))))	UXExperimentalTerms.kif 1509-1521	如果 过程 是 AddToCart 的 instance 和 施事体 是 施事体 的 instance 和 实体 是 客体 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 patient， 然后 有认知的主事 desires 有存在 另一个 实体 这样 那个 另外 实体 是 购买 的 instance 和 那个 实体 是 那个 另外 实体 的 patient 和 那个 施事体 是 那个 另外 实体 的 agent
(=>     (and         (instance ?ATTACK Attack)         (agent ?ATTACK ?AGENT)         (patient ?ATTACK ?OBJ))     (hasPurposeForAgent ?ATTACK         (exists (?DAMAGE)             (and                 (instance ?DAMAGE Damaging)                 (patient ?DAMAGE ?OBJ))) ?AGENT))	Merge.kif 13412-13421	如果 过程 是 Attack 的 instance 和 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient， 然后 那个 施事体 在 那个 过程 的 目的 是 有存在 另一个 实体 这样 那个 另外 实体 是 损坏 的 instance 和 那个 实体 是 那个 另外 实体 的 patient
(=>     (and         (instance ?AWARD LegalAward)         (refers ?AWARD ?ACTION)         (instance ?ACTION LegalAction)         (agent ?ACTION ?PLAINTIFF))     (confersRight         (exists (?GET ?OBJ ?VALUE)             (and                 (instance ?GET Getting)                 (experiencer ?GET ?PLAINTIFF)                 (patient ?GET ?OBJ)                 (monetaryValue ?OBJ ?VALUE))) ?AWARD ?PLAINTIFF))	Mid-level-ontology.kif 13847-13858	如果 实体 是 LegalAward 的 instance 和 那个 实体 提到 过程 和 那个 过程 是 法律诉讼 的 instance 和 有认知的主事 是 那个 过程 的 agent， 然后 那个 实体 允许 那个 有认知的主事 执行 有存在 另一个 实体， 第三 实体， and 和 第四 实体 这样 那个 另外 实体 是 获得 的 instance 和 那个 有认知的主事 经历了 那个 另外 实体 和 那个 第三 实体 是 那个 另外 实体 的 patient 和 那个 第三 实体 的价值 是 那个 第四 实体 的任务
(=>     (and         (instance ?B Bequeathing)         (agent ?B ?P)         (destination ?B ?H)         (patient ?I ?PROP))     (exists (?D)         (and             (instance ?D Death)             (experiencer ?D ?P)             (earlier                 (WhenFn ?D)                 (WhenFn ?B))             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?D))                 (possesses ?P ?PROP))             (confersNorm ?P                 (possesses ?H ?PROP) Permission))))	Mid-level-ontology.kif 16260-16276	如果 过程 是 Bequeathing 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 过程 在 实体 结束 和 那个 施事体ROP 是 另一个 过程 的 patient， 然后 有存在 第三 过程 这样 那个 第三 过程 是 死亡 的 instance 和 那个 施事体 经历了 那个 第三 过程 和 那个 第三 过程 出现 的 time 比那个 过程 出现 的 time发生的earlier 和 那个 施事体 possesses 那个 施事体ROP 在 紧接 那个 第三 过程 出现 的 time before holdsDuring 和 confersNorm 那个 施事体, 那个 实体 possesses 那个 施事体ROP and Permission
(=>     (and         (instance ?B Blockade)         (instance ?C Contest)         (subProcess ?B ?C)         (contestParticipant ?C ?A1)         (agent ?B ?A1))     (exists (?C1 ?A2)         (and             (prevents ?C1 Translocation)             (instance ?B ?C1)             (contestParticipant ?C ?A2)             (not                 (equal ?A1 ?A2))             (desires ?A2                 (exists (?I)                     (and                         (instance ?I ?C1)                         (agent ?I ?A1)                         (subProcess ?I ?C)))))))	Mid-level-ontology.kif 19561-19580	如果 过程 是 Blockade 的 instance 和 比赛 是 比赛 的 instance 和 那个 过程%n是那个 比赛的subProcess 和 contestParticipant 那个 比赛 and 施事体 和 那个 施事体 是 那个 过程 的 agent， 然后 有存在 那个 比赛1 和 有认知的主事 这样 那个 比赛1 prevents Translocation 的发生 和 那个 过程 是 那个 比赛1 的 instance 和 contestParticipant 那个 比赛 and 那个 有认知的主事 和 那个 施事体 不 equal 那个 有认知的主事 和 那个 有认知的主事 desires 有存在 另一个 实体 这样 那个 另外 实体 是 那个 比赛1 的 instance 和 那个 施事体 是 那个 另外 实体 的 agent 和 那个 另外 实体%n是那个 比赛的subProcess
(=>     (and         (instance ?B Boarding)         (agent ?B ?AGENT)         (patient ?B ?V))     (and         (holdsDuring             (BeginFn                 (WhenFn ?B))             (not                 (onboard ?A ?V)))         (holdsDuring             (EndFn                 (WhenFn ?B))             (onboard ?A ?V))))	Mid-level-ontology.kif 14945-14956	如果 过程 是 Boarding 的 instance 和 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient， 然后 onboard 另一个 实体 and 那个 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 onboard 那个 另外 实体 and 那个 实体 在 那个 过程 出现 的 time 的结束 holdsDuring
(=>     (and         (instance ?B Deboarding)         (agent ?B ?A)         (patient ?B ?V))     (and         (holdsDuring             (BeginFn                 (WhenFn ?B))             (onboard ?A ?V))         (holdsDuring             (EndFn                 (WhenFn ?B))             (not                 (onboard ?A ?V)))))	Mid-level-ontology.kif 14986-14998	如果 过程 是 Deboarding 的 instance 和 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient， 然后 onboard 那个 施事体 and 那个 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 onboard 那个 施事体 and 那个 实体 在 那个 过程 出现 的 time 的结束 holdsDuring
(=>     (and         (instance ?BIDDING Bidding)         (instance ?OBJECT Physical)         (instance ?AMOUNT CurrencyMeasure)         (instance ?AGENT ?AGENT)         (objectOfBid ?BIDDING ?OBJECT)         (amountOfBid ?BIDDING ?AMOUNT)         (agent ?BIDDING ?AGENT))     (bidPrice ?OBJECT ?AMOUNT ?AGENT))	UXExperimentalTerms.kif 1614-1623	如果 Bidding 是 Bidding 的 instance 和 客体 是 物理 的 instance 和 货币测量 是 货币测量 的 instance 和 施事体 是 那个 施事体 的 instance 和 objectOfBid 那个 Bidding and 那个 客体 和 amountOfBid 那个 Bidding and 那个 货币测量 和 那个 施事体 是 那个 Bidding 的 agent， 然后 bidPrice 那个 客体, 那个 货币测量 and 那个 施事体
(=>     (and         (instance ?BITE Biting)         (agent ?BITE ?ANIMAL))     (exists (?MOUTH)         (and             (instance ?MOUTH Mouth)             (part ?MOUTH ?ANIMAL)             (instrument ?BITE ?MOUTH))))	Mid-level-ontology.kif 6203-6211	如果 过程 是 Biting 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 客体 这样 那个 客体 是 Mouth 的 instance 和 那个 客体 是 那个 施事体 的 part 和 那个 客体 是导致 那个 过程 的 instrument
(=>     (and         (instance ?BUY Buying)         (agent ?BUY ?AGENT))     (destination ?BUY ?AGENT))	Merge.kif 11860-11864	如果 过程 是 购买 的 instance 和 施事体 是 那个 过程 的 agent， 然后 那个 过程 在 那个 施事体 结束
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners