(=>     (and         (instance ?VISITOR Human)         (instance ?COLL Collection)         (forall (?EXPERIMENT ?EVENT)             (=>                 (exists (?CLASS)                     (and                         (instance ?EXPERIMENT Experimenting)                         (instance ?EVENT Process)                         (member ?EVENT                             (QualifyingEventsFn ?EXPERIMENT))                         (instance ?EVENT ?CLASS)                         (capability ?CLASS experiencer ?VISITOR)))                 (member ?EVENT ?COLL)))         (=>             (member ?PROC ?COLL)             (and                 (instance ?PROC Process)                 (exists (?EXP ?PROCESS)                     (and                         (instance ?EXP Experimenting)                         (member ?PROC                             (QualifyingEventsFn ?EXP))                         (instance ?PROC ?PROCESS)                         (capability ?PROCESS experiencer ?VISITOR))))))     (equal         (QualifiedTreatmentsFn ?VISITOR) ?COLL))	UXExperimentalTerms.kif 4241-4267	如果 人类 是 人类 的 instance 和 群体 是 群体 的 instance 和 对所有 试验 和 物理 如果 有存在 有点 过程 这样 那个 试验 是 试验 的 instance 和 那个 物理 是 过程 的 instance 和 那个 物理 是 events 在 那个 试验 的 member 和 那个 物理 是 有点 过程 的 instance 和 那个 人类 能够担当 经历者 的角色做 那个 有点 过程， 然后 那个 物理 是 那个 群体 的 member 和 如果 另一个 物理 是 那个 群体 的 member， 然后 那个 另外 物理 是 过程 的 instance 和 有存在 另一个 试验 和 那个 另外 物理ESS 这样 那个 另外 试验 是 试验 的 instance 和 那个 另外 物理 是 events 在 那个 另外 试验 的 member 和 那个 另外 物理 是 那个 另外 物理ESS 的 instance 和 那个 人类 能够担当 经历者 的角色做 那个 另外 物理ESS ， 然后 所有流程 那个 人类 是 qualified 对于 equal 那个 群体
(=>     (and         (instance ?VISITOR Human)         (instance ?QPVIEWS Collection)         (forall (?PAGE ?ACCESSING ?EXPERIMENT)             (=>                 (and                     (instance ?PAGE WebPage)                     (instance ?ACCESSING AccessingWebPage)                     (instance ?EXPERIMENT Experimenting)                     (agent ?ACCESSING ?VISITOR)                     (patient ?ACCESSING ?PAGE)                     (treatedPage ?PAGE ?EXPERIMENT))                 (member ?ACCESSING ?QPVIEWS))))     (equal ?QPVIEWS         (QPViewsFn ?VISITOR)))	UXExperimentalTerms.kif 4175-4190	如果 人类 是 人类 的 instance 和 群体 是 群体 的 instance 和 对所有 WebPage， 过程， and 和 试验 如果 那个 WebPage 是 WebPage 的 instance 和 那个 过程 是 AccessingWebPage 的 instance 和 那个 试验 是 试验 的 instance 和 那个 人类 是 那个 过程 的 agent 和 那个 WebPage 是 那个 过程 的 patient 和 那个 WebPage 是 那个 试验 的 研究对象， 然后 那个 过程 是 那个 群体 的 member ， 然后 那个 群体 equal 所有的 treated web page 浏览从 那个 人类
(=>     (and         (instance ?VISITS Collection)         (instance ?HYPERLINK HypertextLink)         (forall (?ACCESSING)             (and                 (member ?ACCESSING ?PAGE)                 (and                     (instance ?ACCESSING AccessingWebPage)                     (component ?PAGE ?HYPERLINK)))))     (exists (?CLICKS)         (and             (instance ?CLICKS Collection)             (forall (?CLICK)                 (=>                     (and                         (instance ?CLICK RequestingHyperlink)                         (patient ?CLICK ?HYPERLINK))                     (member ?CLICK ?CLICKS)))             (equal                 (ClickThroughRateFn ?VISITS ?HYPERLINK)                 (DivisionFn                     (CardinalityFn ?CLICKS)                     (CardinalityFn ?VISITS))))))	UXExperimentalTerms.kif 3333-3356	如果 群体 是 群体 的 instance 和 躯体性物体 是 HypertextLink 的 instance 和 对所有 物理 那个 物理 是 另一个 群体 的 member 和 那个 物理 是 AccessingWebPage 的 instance 和 那个 另外 群体 是 那个 躯体性物体 的 component， 然后 有存在 第三 群体 这样 那个 第三 群体 是 群体 的 instance 和 对所有 过程 如果 那个 过程 是 RequestingHyperlink 的 instance 和 那个 躯体性物体 是 那个 过程 的 patient， 然后 那个 过程 是 那个 第三 群体 的 member 和 点击通过 那个 躯体性物体 的 rate 在 那个 群体 equal 那个 第三 群体 instance 的数量 和 那个 群体 instance 的数量
(=>     (and         (instance ?VISITS Collection)         (instance ?PURCHASES Collection)         (subCollection ?PURCHASES ?VISITS)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?VISITS)                 (instance ?MEMBER AccessingWebPage)))         (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)             (=>                 (and                     (instance ?VISITOR Human)                     (instance ?BUYING Buying)                     (instance ?ACCESSING AccessingWebPage)                     (instance ?PAGE WebPage)                     (member ?ACCESSING ?VISITS)                     (destination ?ACCESSING ?PAGE)                     (agent ?BUYING ?VISITOR)                     (agent ?ACCESSING ?VISITOR)                     (during                         (WhenFn ?BUYING)                         (WhenFn ?ACCESSING))                     (instrument ?BUYING ?PAGE))                 (member ?BUYING ?PURCHASES))))     (exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)         (equal             (SCRFn ?VISITS ?INTERVAL)             (DivisionFn                 (CardinalityFn                     (KappaFn ?PURCHASE_IN_INTERVAL                         (and                             (member ?PURCHASE_IN_INTERVAL ?PURCHASES)                             (during                                 (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))                 (CardinalityFn                     (KappaFn ?VISIT_IN_INTERVAL                         (and                             (member ?VISIT_IN_INTERVAL ?VISITS)                             (during                                 (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))	UXExperimentalTerms.kif 3668-3704	如果 群体 是 群体 的 instance 和 另一个 群体 是 群体 的 instance 和 那个 另外 群体 是 那个 群体 的 真正的子集 和 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 AccessingWebPage 的 instance 和 对所有 过程， 施事体,， ， 另一个 过程,， ， 那个 过程， and 和 客体 如果 那个 施事体 是 人类 的 instance 和 那个 过程 是 购买 的 instance 和 那个 另外 过程 是 AccessingWebPage 的 instance 和 那个 客体 是 WebPage 的 instance 和 那个 另外 过程 是 那个 群体 的 member 和 那个 另外 过程 在 那个 客体 结束 和 那个 施事体 是 那个 过程 的 agent 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 过程 出现 的 time 在 那个 另外 过程 出现 的 time 时段内发生 和 那个 客体 是导致 那个 过程 的 instrument， 然后 那个 过程 是 那个 另外 群体 的 member ， 然后 有存在 时距， 实体_IN_INTERVAL， and 和 另一个 实体_IN_INTERVAL 这样 purchases 花在 那个 群体 期间 那个 时距 equal 那个 实体_IN_INTERVAL 所描述的类别 instance 的数量 和 那个 另外 实体_IN_INTERVAL 所描述的类别 instance 的数量
(=>     (and         (meceCollection ?COLL1 ?COLL2)         (instance ?COLL3 Collection)         (instance ?COLL4 Collection)         (instance ?MEMBER SelfConnectedObject)         (member ?MEMBER ?COLL1)         (member ?COLL3 ?COLL2)         (member ?COLL4 ?COLL2)         (not             (equal ?COLL3 ?COLL4)))     (not         (and             (member ?MEMBER ?COLL3)             (member ?MEMBER ?COLL4))))	UXExperimentalTerms.kif 4638-4652	如果 群体 和 另一个 群体 是 mutually exclusive 和 第三 群体 是 群体 的 instance 和 第四 群体 是 群体 的 instance 和 物理 是 自身连接物体 的 instance 和 那个 物理 是 那个 群体 的 member 和 那个 第三 群体 是 那个 另外 群体 的 member 和 那个 第四 群体 是 那个 另外 群体 的 member 和 那个 第三 群体 不 equal 那个 第四 群体， 然后 ~{ 那个 物理 是 那个 第三 群体 的 member } 或 ~{ 那个 物理 是 那个 第四 群体 的 member }
(=>     (instance ?COLL Collection)     (exists (?OBJ)         (member ?OBJ ?COLL)))	Merge.kif 1270-1273	如果 群体 是 群体 的 instance， 然后 有存在 物理 这样 那个 物理 是 那个 群体 的 member

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