No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4175-4190	如果 人类 是 人类 的 instance 和 群体 是 群体 的 instance 和 对所有 WebPage， 过程， and 和 试验 如果 那个 WebPage 是 WebPage 的 instance 和 那个 过程 是 AccessingWebPage 的 instance 和 那个 试验 是 试验 的 instance 和 那个 人类 是 那个 过程 的 agent 和 那个 WebPage 是 那个 过程 的 patient 和 那个 WebPage 是 那个 试验 的 研究对象， 然后 那个 过程 是 那个 群体 的 member ， 然后 那个 群体 equal 所有的 treated web page 浏览从 那个 人类
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	如果 群体 是 群体 的 instance 和 躯体性物体 是 HypertextLink 的 instance 和 对所有 物理 那个 物理 是 另一个 群体 的 member 和 那个 物理 是 AccessingWebPage 的 instance 和 那个 另外 群体 是 那个 躯体性物体 的 component， 然后 有存在 第三 群体 这样 那个 第三 群体 是 群体 的 instance 和 对所有 过程 如果 那个 过程 是 RequestingHyperlink 的 instance 和 那个 躯体性物体 是 那个 过程 的 patient， 然后 那个 过程 是 那个 第三 群体 的 member 和 点击通过 那个 躯体性物体 的 rate 在 那个 群体 equal 那个 第三 群体 instance 的数量 和 那个 群体 instance 的数量
No TPTP formula. May not be expressible in strict first order.	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 的数量
No TPTP formula. May not be expressible in strict first order.	Dining.kif 274-291	如果 群体 是 Buffet 的 instance 和 物理 是 那个 群体 的 member 和 那个 群体 是 located 在 客体 和 过程 是 进食 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 过程 是 located 在 另一个 客体 和 那个 物理 是 那个 过程 的 patient， 然后 那个 客体 不 equal 那个 另外 客体 和 有存在 另一个 过程 这样 那个 另外 过程 是 获得 的 instance 和 那个 物理 是 那个 另外 过程 的 patient 和 那个 客体 是 那个 另外 过程 的源头 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程 出现 的 time%n在那个 过程 出现 的 timebefore发生
No TPTP formula. May not be expressible in strict first order.	Dining.kif 469-479	如果 群体 是 Outfit 的 instance 和 物理 是 那个 群体 的 member 和 实体 wears 那个 物理 在 时间位置 holdsDuring， 然后 对所有 另一个 物理 如果 那个 另外 物理 是 那个 群体 的 member， 然后 那个 实体 wears 那个 另外 物理 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26973-26999	如果 物理 是 SurveillanceSystem 的 instance 和 那个 物理 是 群体 的 member 和 那个 物理 是 另一个 群体 的 member 和 那个 群体 是 located 在 客体 和 那个 群体 是 相机 的 instance 和 那个 另外 群体 是 located 在 另一个 客体 和 那个 客体 不 equal 那个 另外 客体 和 那个 另外 群体 是 VideoDisplay 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 第四 实体 这样 那个 实体 是 过程 的 instance 和 那个 实体 是 located 在 那个 客体 和 那个 另外 实体 表达 那个 实体 和 相机 是导致 那个 第四 实体 的 instrument 和 那个 另外 实体 是 那个 第四 实体 的 result 和 那个 第三 实体 是 放射光线 的 instance 和 那个 另外 群体 是导致 那个 第三 实体 的 instrument 和 那个 另外 实体 是 那个 第三 实体 的 patient 和 那个 实体 的开始%n在那个 第四 实体 的开始before发生 和 那个 第四 实体 的开始%n在那个 第三 实体 的开始before发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22720-22724	如果 群体 是 有内用物体 的 inventory 和 物理 是 那个 群体 的 member， 然后 那个 有内用物体 提到 那个 物理
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4638-4652	如果 群体 和 另一个 群体 是 mutually exclusive 和 第三 群体 是 群体 的 instance 和 第四 群体 是 群体 的 instance 和 物理 是 自身连接物体 的 instance 和 那个 物理 是 那个 群体 的 member 和 那个 第三 群体 是 那个 另外 群体 的 member 和 那个 第四 群体 是 那个 另外 群体 的 member 和 那个 第三 群体 不 equal 那个 第四 群体， 然后 ~{ 那个 物理 是 那个 第三 群体 的 member } 或 ~{ 那个 物理 是 那个 第四 群体 的 member }
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4627-4636	如果 群体 和 另一个 群体 是 mutually exclusive 和 物理 是 那个 群体 的 member 和 那个 物理 是 自身连接物体 的 instance， 然后 有存在 第三 群体 这样 那个 第三 群体 是 群体 的 instance 和 那个 物理 是 那个 第三 群体 的 member 和 那个 第三 群体 是 那个 另外 群体 的 member
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4620-4625	如果 群体 和 另一个 群体 是 mutually exclusive 和 物理 是 那个 另外 群体 的 member 和 那个 物理 是 自身连接物体 的 instance， 然后 那个 物理 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3466-3473	如果 施事体 是 国际法院 的 member 和 法官 是 那个 施事体 的 attribute， 然后 有存在 另一个 施事体 这样 那个 另外 施事体 是 地缘政治区域 的 instance 和 %１ 是 对于 ％３ 给代理 ％２ 的 representative 代理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9593-9599	如果 客体 是 群体 的 member 和 另一个 客体 是 那个 群体 的 member 和 那个 客体 不 equal 那个 另外 客体， 然后 那个 客体 和 那个 另外 客体 不 重叠
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22656-22660	如果 类 是 群体 的 member 类别 和 物理 是 那个 群体 的 member， 然后 那个 物理 是 那个 类 的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 852-860	如果 实数 年持续时间 是 地缘政治区域 的 military 年纪 和 那个 地缘政治区域 是 军事组织 的 military 区域 和 物理 是 那个 军事组织 的 member 和 那个 物理 的 age 是 另一个 实数 年持续时间， 然后 那个 另外 实数 是 greaterThanOrEqualTo 那个 实数
No TPTP formula. May not be expressible in strict first order.	Military.kif 840-850	如果 实数 年持续时间 是 地缘政治区域 的 military 年纪 和 那个 地缘政治区域 是 军事组织 的 military 区域 和 物理 是 那个 军事组织 的 member， 然后 有存在 另一个 实数 这样 那个 物理 的 age 是 那个 另外 实数 年持续时间 和 那个 另外 实数 是 greaterThanOrEqualTo 那个 实数
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3629-3638	如果 群体 的成员有 registered 对于 WebSite 在期间 时距 和 物理 是 那个 群体 的 member， 然后 有存在 另一个 时距 这样 那个 另外 时距 是 时距 的 instance 和 那个 另外 时距 在 那个 时距 时段内发生 和 那个 物理 是 那个 WebSite 的 registered user 在 那个 另外 时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3623-3627	如果 群体 的成员有 registered 对于 WebSite 在期间 时距 和 物理 是 那个 群体 的 member， 然后 那个 物理 是 施事体 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3640-3650	如果 群体 的成员有 registered 对于 WebSite 在期间 时距 和 物理 是 那个 群体 的 member， 然后 不存在 另一个 时距 这样 那个 另外 时距 是 时距 的 instance 和 那个 另外 时距 比那个 时距发生的earlier 和 那个 物理 是 那个 WebSite 的 registered user 在 那个 另外 时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	如果 群体 和 另一个 群体 是 orthogonal tests 和 客体 是 人类 的 instance 和 物理 是 有点 过程 的 instance 和 有点 过程 是 试验 的 subclass 和 那个 物理 是 那个 群体 的 member 和 那个 客体 能够担当 experimentalSubject 的角色做 那个 有点 过程， 然后 有存在 另一个 物理 和 另一个 有点 过程 这样 那个 另外 物理 是 另一个 有点 过程 的 instance 和 那个 另外 物理 是 那个 另外 群体 的 member 和 那个 另外 有点 过程 是 试验 的 subclass 和 那个 客体 能够担当 experimentalSubject 的角色做 那个 另外 有点 过程
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4455-4459	如果 群体 和 另一个 群体 是 orthogonal tests 和 物理 是 那个 群体 的 member， 然后 那个 物理 是 试验 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4461-4465	如果 群体 和 另一个 群体 是 orthogonal tests 和 物理 是 那个 另外 群体 的 member， 然后 那个 物理 是 试验 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1267-1273	如果 独家男性选举权 是 地缘政治区域 的 regional 法律 的 subProposition 和 女 是 客体 的 attribute 和 那个 客体 是 那个 地缘政治区域 的 resident 的 member 和 选举 是 选举 的 instance， 然后 那个 客体 不 能够担当 主事 的角色做 那个 选举 的 voting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1257-1271	如果 使用者 施事体 在 WebSite 是 watching 群体 和 过程 是 WebListing 的 instance 和 实体 是 客体 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 过程 是 那个 群体 的 member， 然后 那个 施事体 desires 有存在 另一个 实体 这样 那个 另外 实体 是 购买 的 instance 和 那个 实体 是 那个 另外 实体 的 patient 和 那个 施事体 是 那个 另外 实体 的 agent 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1251-1255	如果 使用者 施事体 在 WebSite 是 watching 群体 和 物理 是 那个 群体 的 member， 然后 那个 物理 是 WebListing 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 839-846	如果 使用者 人类 在 WebSite 已 bought 群体 和 金融交易 是 那个 群体 的 member， 然后 那个 金融交易 是 购买 的 instance 和 那个 人类 是 那个 金融交易 的 agent 和 那个 WebSite facilitates 那个 金融交易
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