(=>     (and         (instance ?CO CounterproliferationWMD)         (agent ?CO ?AGENT))     (exists (?ENEMY ?OP)         (and             (enemy ?AGENT ?ENEMY)             (agent ?OP ?ENEMY)             (instance ?OP ProliferationWMD)             (hasPurpose ?CO                 (prevents ?CO ProliferationWMD)))))	MilitaryProcesses.kif 1478-1488	如果 过程 是 反扩散 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 另一个 施事体 和 另一个 过程 这样 enemy 那个 施事体 and 那个 另外 施事体 和 那个 另外 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程 是 增殖作用 的 instance 和 那个 过程 的 目的 是 那个 过程 prevents 增殖作用 的发生
(=>     (and         (instance ?COMM LinguisticCommunication)         (agent ?COMM ?AGENT)         (patient ?COMM ?SENTENCE)         (instance ?SENTENCE Sentence))     (holdsDuring         (WhenFn ?COMM)         (states ?AGENT ?SENTENCE)))	Media.kif 1838-1844	如果 过程 是 语言交流 的 instance 和 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient 和 那个 实体 是 句子 的 instance， 然后 那个 施事体 states 那个 实体 在 那个 过程 出现 的 time holdsDuring
(=>     (and         (instance ?CONDUCT MusicalConducting)         (agent ?CONDUCT ?AGENT))     (holdsDuring         (WhenFn ?CONDUCT)         (attribute ?AGENT MusicalConductor)))	Media.kif 1869-1873	如果 过程 是 MusicalConducting 的 instance 和 施事体 是 那个 过程 的 agent， 然后 MusicalConductor 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time holdsDuring
(=>     (and         (instance ?COUNT Counting)         (agent ?COUNT ?AGENT)         (patient ?COUNT ?ENTITY))     (exists (?NUMBER)         (knows ?AGENT             (equal                 (CardinalityFn ?ENTITY) ?NUMBER))))	Merge.kif 12286-12292	如果 过程 是 数 的 instance 和 有认知的主事 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient， 然后 有存在 另一个 实体 这样 那个 有认知的主事 knows equal 那个 实体 instance 的数量 and 那个 另外 实体
(=>     (and         (instance ?COVERING CoveringGUIElement)         (agent ?COVERING ?GUIE_TOP)         (patient ?COVERING ?GUIE_BOTTOM)         (instance ?GUIE_TOP GUIElement)         (instance ?GUIE_BOTTOM GUIElement))     (holdsDuring         (EndFn ?COVERING)         (or             (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)             (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP))))	ComputerInput.kif 2597-2607	如果 时距 是 CoveringGUIElement 的 instance 和 实体_TOP 是 那个 时距 的 agent 和 那个 实体_BOTTOM 是 那个 时距 的 patient 和 那个 实体_TOP 是 GUIElement 的 instance 和 那个 实体_BOTTOM 是 GUIElement 的 instance， 然后 那个 实体_BOTTOM 是由 那个 实体_TOP covered 或 那个 实体_BOTTOM 是由 那个 实体_TOP partially covered 在 那个 时距 的结束 holdsDuring
(=>     (and         (instance ?COVERING PartiallyCoveringGraphicalWindow)         (agent ?COVERING ?GUIE_TOP)         (patient ?COVERING ?GUIE_BOTTOM)         (instance ?GUIE_TOP GUIElement)         (instance ?GUIE_BOTTOM GUIElement))     (holdsDuring         (EndFn ?COVERING)         (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)))	ComputerInput.kif 2609-2617	如果 时距 是 PartiallyCoveringGraphicalWindow 的 instance 和 实体_TOP 是 那个 时距 的 agent 和 那个 实体_BOTTOM 是 那个 时距 的 patient 和 那个 实体_TOP 是 GUIElement 的 instance 和 那个 实体_BOTTOM 是 GUIElement 的 instance， 然后 那个 实体_BOTTOM 是由 那个 实体_TOP partially covered 在 那个 时距 的结束 holdsDuring
(=>     (and         (instance ?CP ChangingAccountInfo)         (agent ?CP ?A)         (hasAccount ?A ?UA)         (accountInformation ?UA ?N1))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?CP))         (exists (?N2)             (and                 (not                     (equal ?N2 ?N1))                 (accountInformation ?UA ?N2)))))	ComputingBrands.kif 4118-4130	如果 过程 是 ChangingAccountInfo 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 施事体 有 account 用户帐号 和 accountInformation 那个 用户帐号 and 命题， 然后 有存在 实体 这样 equal 那个 实体 and 那个 命题 和 accountInformation 那个 用户帐号 and 那个 实体 在 紧接 那个 过程 出现 的 time after holdsDuring
(=>     (and         (instance ?CP ChangingPassword)         (agent ?CP ?A)         (hasAccount ?A ?UA)         (password ?P1 ?UA))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?CP))         (exists (?P2)             (and                 (instance ?P2 ComputerPassword)                 (not                     (equal ?P2 ?P1))                 (password ?P2 ?UA)))))	ComputingBrands.kif 4074-4087	如果 过程 是 ChangingPassword 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 施事体 有 account 用户帐号 和 那个 用户帐号 有 password 电脑密码 ， 然后 有存在 实体 这样 那个 实体 是 电脑密码 的 instance 和 equal 那个 实体 and 那个 电脑密码 和 那个 用户帐号 有 password 那个 实体 在 紧接 那个 过程 出现 的 time after holdsDuring
(=>     (and         (instance ?CP ChangingUserName)         (agent ?CP ?A)         (hasAccount ?A ?UA)         (userName ?UA ?N1))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?CP))         (exists (?N2)             (and                 (instance ?N2 UserName)                 (not                     (equal ?N2 ?N1))                 (userName ?UA ?N2)))))	ComputingBrands.kif 4096-4109	如果 过程 是 ChangingUserName 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 施事体 有 account 用户帐号 和 那个 用户帐号 的 user name 是 用户名 ， 然后 有存在 实体 这样 那个 实体 是 用户名 的 instance 和 equal 那个 实体 and 那个 用户名 和 那个 用户帐号 的 user name 是 那个 实体 在 紧接 那个 过程 出现 的 time after holdsDuring
(=>     (and         (instance ?CP CreatingAnAccount)         (agent ?CP ?A))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?CP))         (exists (?UA ?P1 ?N)             (and                 (hasAccount ?A ?UA)                 (password ?P1 ?UA)                 (userName ?UA ?N)))))	ComputingBrands.kif 4138-4148	如果 过程 是 CreatingAnAccount 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 施事体 有 account 那个 实体 和 那个 实体 有 password 那个 另外 实体 和 那个 实体 的 user name 是 那个 第三 实体 在 紧接 那个 过程 出现 的 time after holdsDuring
(=>     (and         (instance ?CREATE Creation)         (result ?CREATE ?PROP)         (instance ?PROP Proposition)         (agent ?CREATE ?AGENT))     (propositionOwner ?AGENT ?PROP))	Catalog.kif 172-178	如果 过程 是 创作 的 instance 和 命题 是 那个 过程 的 result 和 那个 命题 是 命题 的 instance 和 有认知的主事 是 那个 过程 的 agent， 然后 那个 有认知的主事 authored 那个 命题
(=>     (and         (instance ?D Antidiuretic)         (instance ?I Ingesting)         (agent ?I ?H)         (moves ?I ?D)         (instance ?U1 Urination)         (result ?U1 ?P1)         (agent ?U1 ?H)         (instance ?U2 Urination)         (not             (equal ?U1 ?U2))         (result ?U2 ?P2)         (agent ?U2 ?H)         (earlier ?U1 ?I)         (earlier ?I ?U2)         (instance ?V UnitOfVolume)         (measure ?U1             (MeasureFn ?N1 ?V))         (measure ?U2             (MeasureFn ?N2 ?V)))     (modalAttribute         (greaterThan ?N1 ?N2) Likely))	Mid-level-ontology.kif 11384-11407	如果 客体 是 Antidiuretic 的 instance 和 运动 是 消化 的 instance 和 施事体 是 那个 运动 的 agent 和 移动 那个 运动 and 那个 客体 和 时距 是 Urination 的 instance 和 实体 是 那个 时距 的 result 和 那个 施事体 是 那个 时距 的 agent 和 另一个 时距 是 Urination 的 instance 和 equal 那个 时距 and 那个 另外 时距 和 另一个 实体 是 那个 另外 时距 的 result 和 那个 施事体 是 那个 另外 时距 的 agent 和 那个 时距 比那个 运动发生的earlier 和 那个 运动 比那个 另外 时距发生的earlier 和 测量单位 是 UnitOfVolume 的 instance 和 那个 时距 的 measure 是 实数 那个 测量单位 和 那个 另外 时距 的 measure 是 另一个 实数 那个 测量单位， 然后 那个 实数 是 greaterThan 那个 另外 实数 的声明 has 容易 的语气
(=>     (and         (instance ?D Decelerating)         (agent ?D ?A))     (exists (?L1 ?L2 ?T1 ?T2 ?U1 ?U2)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?D))                 (measure ?A                     (SpeedFn                         (MeasureFn ?L1 ?U1)                         (MeasureFn ?T1 ?U2))))             (holdsDuring                 (EndFn                     (WhenFn ?D))                 (measure ?A                     (SpeedFn                         (MeasureFn ?L2 ?U1)                         (MeasureFn ?T2 ?U2))))             (or                 (greaterThan ?L1 ?L2)                 (greaterThan ?T1 ?T2)))))	Mid-level-ontology.kif 18558-18578	如果 过程 是 减速 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 实数， 另一个 实数,， ， 第三 实数,， ， 第四 实数,， ， 实体， and 和 另一个 实体 这样 那个 施事体 的 measure 是 那个 实数 那个 实体 除以 那个 第三 实数 那个 另外 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 的 measure 是 那个 另外 实数 那个 实体 除以 那个 第四 实数 那个 另外 实体 在 那个 过程 出现 的 time 的结束 holdsDuring 和 那个 实数 是 greaterThan 那个 另外 实数 或 那个 第三 实数 是 greaterThan 那个 第四 实数
(=>     (and         (instance ?D DeletingAnAccount)         (instance ?AC Account)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?D))             (hasAccount ?A ?AC))         (patient ?D ?AC)         (agent ?D ?A))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?D))         (not             (hasAccount ?A ?AC))))	ComputingBrands.kif 4561-4571	如果 过程 是 DeletingAnAccount 的 instance 和 实体 是 Account 的 instance 和 施事体 有 account 那个 实体 在 紧接 那个 过程 出现 的 time before holdsDuring 和 那个 实体 是 那个 过程 的 patient 和 那个 施事体 是 那个 过程 的 agent， 然后 不 那个 施事体 有 account 那个 实体 在 紧接 那个 过程 出现 的 time after holdsDuring
(=>     (and         (instance ?D DeliveryService)         (agent ?D ?AGENT))     (capability DeliveryService agent ?AGENT))	Dining.kif 532-536	如果 过程 是 DeliveryService 的 instance 和 施事体 是 那个 过程 的 agent， 然后 那个 施事体 能够担当 主事 的角色做 DeliveryService
(=>     (and         (instance ?D DeliveryService)         (destination ?D ?LOC1)         (deliveryRegion ?AGENT ?REGION)         (conditionalProbability             (located ?LOC1 ?REGION)             (agent ?D ?AGENT) ?NUMBER1)         (conditionalProbability             (not                 (located ?LOC1 ?REGION))             (agent ?D ?AGENT) ?NUMBER2))     (lessThan ?NUMBER2 ?NUMBER1))	Dining.kif 552-561	如果 过程 是 DeliveryService 的 instance 和 那个 过程 在 实体 结束 和 地理区域 是 施事体 的 delivery 区域 和 如果 那个 施事体 是 那个 过程 的 agent 是正确， 那 那个 实体 是 located 在 那个 地理区域 的机率就 是 实数 和 如果 那个 施事体 是 那个 过程 的 agent 是正确， 那 那个 实体 不 是 located 在 那个 地理区域 的机率就 是 另一个 实数， 然后 那个 另外 实数 是 lessThan 那个 实数
(=>     (and         (instance ?D Demonstration)         (agent ?D ?A))     (or         (instance ?A Human)         (instance ?A GroupOfPeople)))	MilitaryProcesses.kif 2697-2703	如果 过程 是 示范 的 instance 和 施事体 是 那个 过程 的 agent， 然后 那个 施事体 是 人类 的 instance 或 那个 施事体 是 一群人 的 instance
(=>     (and         (instance ?D Demonstration)         (agent ?D ?G)         (member ?A1 ?G)         (member ?A2 ?G))     (exists (?P)         (and             (believes ?A1 ?P)             (believes ?A2 ?P))))	MilitaryProcesses.kif 2707-2716	如果 过程 是 示范 的 instance 和 施事体 是 那个 过程 的 agent 和 有认知的主事 是 那个 施事体 的 member 和 另一个 有认知的主事 是 那个 施事体 的 member， 然后 有存在 公式 这样 那个 有认知的主事 believes 那个 公式 和 那个 另外 有认知的主事 believes 那个 公式
(=>     (and         (instance ?D Dismounting)         (agent ?D ?A)         (patient ?D ?O))     (and         (holdsDuring             (BeginFn                 (WhenFn ?D))             (orientation ?A ?O On))         (holdsDuring             (EndFn                 (WhenFn ?D))             (not                 (orientation ?A ?O On)))))	Mid-level-ontology.kif 21590-21602	如果 过程 是 拆卸 的 instance 和 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient， 然后 那个 施事体 在 那个 实体 的 上 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 不 在 那个 实体 的 上 在 那个 过程 出现 的 time 的结束 holdsDuring
(=>     (and         (instance ?D Diuretic)         (instance ?I Ingesting)         (agent ?I ?H)         (moves ?I ?D)         (instance ?U1 Urination)         (result ?U1 ?P1)         (agent ?U1 ?H)         (instance ?U2 Urination)         (result ?U2 ?P2)         (agent ?U2 ?H)         (earlier ?U1 ?I)         (earlier ?I ?U2)         (instance ?V UnitOfVolume)         (measure ?U1             (MeasureFn ?N1 ?V))         (measure ?U2             (MeasureFn ?N2 ?V)))     (modalAttribute         (greaterThan ?N2 ?N1) Likely))	Mid-level-ontology.kif 11354-11375	如果 客体 是 Diuretic 的 instance 和 运动 是 消化 的 instance 和 施事体 是 那个 运动 的 agent 和 移动 那个 运动 and 那个 客体 和 时距 是 Urination 的 instance 和 实体 是 那个 时距 的 result 和 那个 施事体 是 那个 时距 的 agent 和 另一个 时距 是 Urination 的 instance 和 另一个 实体 是 那个 另外 时距 的 result 和 那个 施事体 是 那个 另外 时距 的 agent 和 那个 时距 比那个 运动发生的earlier 和 那个 运动 比那个 另外 时距发生的earlier 和 测量单位 是 UnitOfVolume 的 instance 和 那个 时距 的 measure 是 实数 那个 测量单位 和 那个 另外 时距 的 measure 是 另一个 实数 那个 测量单位， 然后 那个 另外 实数 是 greaterThan 那个 实数 的声明 has 容易 的语气
(=>     (and         (instance ?D Dodging)         (agent ?D ?A)         (equal ?DT             (WhenFn ?D)))     (hasPurpose ?D         (not             (exists (?I)                 (and                     (or                         (meetsTemporally ?DT                             (WhenFn ?I))                         (overlapsTemporally ?DT                             (WhenFn ?I)))                     (instance ?I Impacting)                     (patient ?I ?A))))))	Mid-level-ontology.kif 443-456	如果 过程 是 躲着 的 instance 和 施事体 是 那个 过程 的 agent 和 equal 那个 过程T and 那个 过程 出现 的 time， 然后 那个 过程 的 目的 是 不存在 实体 这样 那个 过程T 接着 那个 实体 出现 的 time 或 那个 实体 出现 的 time 时段 和 那个 过程T 重叠 和 那个 实体 是 碰撞 的 instance 和 那个 施事体 是 那个 实体 的 patient
(=>     (and         (instance ?DAMAGE Damaging)         (agent ?DAMAGE ?PROP)         (destination ?DAMAGE ?DEST)         (instance ?DEST CognitiveAgent))     (believes ?DEST         (attribute ?PROP Dangerous)))	MilitaryPersons.kif 228-235	如果 过程 是 损坏 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 过程 在 有认知的主事 结束 和 那个 有认知的主事 是 有认知的主事 的 instance， 然后 那个 有认知的主事 believes 危险 是 那个 施事体 的 attribute
(=>     (and         (instance ?DECIDE Deciding)         (agent ?DECIDE ?A)         (patient ?DECIDE ?S)         (instance ?S Set)         (result ?DECIDE ?X)         (instance ?X ContentBearingPhysical))     (containsFormula ?X         (holdsDuring             (FutureFn                 (WhenFn ?DECIDE))             (exists (?M)                 (and                     (element ?M ?S)                     (instance ?M IntentionalProcess)                     (agent ?M ?A))))))	Merge.kif 12196-12212	如果 过程 是 决定 的 instance 和 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient 和 那个 实体 是 集合 的 instance 和 内容承载物理 是 那个 过程 的 result 和 那个 内容承载物理 是 内容承载物理 的 instance， 然后 containsFormula 那个 内容承载物理 and 有存在 另一个 实体 这样 那个 另外 实体 是 那个 实体 的 element 和 那个 另外 实体 是 有意图过程 的 instance 和 那个 施事体 是 那个 另外 实体 的 agent 在 那个 过程 出现 的 time 之后 holdsDuring
(=>     (and         (instance ?DECIDE Deciding)         (agent ?DECIDE ?AGENT)         (instance ?S Set)         (patient ?DECIDE ?S)         (element ?M ?S))     (believes ?AGENT         (exists (?CLASS)             (and                 (instance ?M ?CLASS)                 (subclass ?CLASS IntentionalProcess)                 (capability ?CLASS agent ?AGENT)))))	Merge.kif 12164-12176	如果 过程 是 决定 的 instance 和 有认知的主事 是 那个 过程 的 agent 和 集合 是 集合 的 instance 和 那个 集合 是 那个 过程 的 patient 和 实体 是 那个 集合 的 element， 然后 那个 有认知的主事 believes 有存在 另一个 实体 这样 那个 实体 是 那个 另外 实体 的 instance 和 那个 另外 实体 是 有意图过程 的 subclass 和 那个 有认知的主事 能够担当 主事 的角色做 那个 另外 实体
(=>     (and         (instance ?DEFENSE DefensiveManeuver)         (agent ?DEFENSE ?AGENT))     (hasPurposeForAgent ?DEFENSE         (not             (exists (?DAMAGE)                 (and                     (instance ?DAMAGE Damaging)                     (patient ?DAMAGE ?AGENT)))) ?AGENT))	Merge.kif 13585-13594	如果 过程 是 防守机动 的 instance 和 施事体 是 那个 过程 的 agent， 然后 那个 施事体 在 那个 过程 的 目的 是 不存在 实体 这样 那个 实体 是 损坏 的 instance 和 那个 施事体 是 那个 实体 的 patient
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