No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 240-255	如果 过程 是 FinalValueFee 的 instance， 然后 有存在 WebListing， 金融交易,， ， 施事体,， ， 实体， and 和 WebSite 这样 那个 WebListing 是 WebListing 的 instance 和 那个 金融交易 是 出售 的 instance 和 那个 施事体 是 施事体 的 instance 和 那个 实体 是 物理 的 instance 和 那个 WebListing 是 WebListing 的 instance 和 那个 实体 是 那个 WebListing 的 patient 和 那个 实体 是 那个 金融交易 的 patient 和 那个 金融交易 causes 那个 过程 和 那个 施事体 是 那个 过程 的 agent 和 那个 WebListing 是在 那个 WebSite hosted 和 那个 施事体 possesses 那个 WebSite 和 那个 施事体 facilitates 那个 金融交易
No TPTP formula. May not be expressible in strict first order.	Dining.kif 36-44	如果 施事体 是 Coffeeshop 的 instance， 然后 有存在 过程 和 实体 这样 那个 过程 是 商业服务 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 过程 是 出售 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 实体 是 咖啡 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7682-7690	如果 施事体 是 酒馆 的 instance， 然后 有存在 过程 和 实体 这样 那个 过程 是 商业服务 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 过程 是 出售 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 实体 是 酒精饮料 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7804-7811	如果 施事体 是 药店 的 instance， 然后 有存在 过程 和 实体 这样 那个 过程 是 出售 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 patient 和 那个 实体 是 医学 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29856-29876	如果 实体 是 Invoice 的 instance， 然后 有存在 符号串， 有认知的主事,， ， 施事体,， ， 另一个 实体， and 和 第三 实体 这样 那个 符号串 的唯一识别符号 是 那个 实体 和 那个 有认知的主事 buys 那个 另外 实体 从 那个 施事体 和 那个 施事体 允许 那个 有认知的主事 执行 有存在 第四 实体 这样 那个 实体 出现 的 time 的开始%n在那个 第四 实体 出现 的 time 的开始before发生 和 那个 第四 实体 是 出售 的 instance 和 那个 第三 实体 是 产品 的 instance 和 objectTransferred 那个 第四 实体 and 那个 第三 实体 和 那个 实体 提到 那个 第三 实体 和 那个 施事体 是 那个 第四 实体 的 agent 和 那个 有认知的主事 是 那个 第四 实体 的 patient 的任务
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16236-16243	如果 物理 是 商业组织 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 出售 的 instance 和 那个 实体 是 商业服务 的 instance 和 那个 物理 是 那个 实体 的 agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 51-62	如果 施事体 是 Brewpub 的 instance， 然后 有存在 过程， 实体， and 和 另一个 过程 这样 那个 另外 过程 是 制作 的 instance 和 那个 实体 是 那个 另外 过程 的 result 和 那个 实体 是 啤酒 的 instance 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 过程 是 商业服务 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 过程 是 出售 的 instance 和 那个 实体 是 那个 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Dining.kif 88-99	如果 施事体 是 Steakhouse 的 instance， 然后 有存在 过程， 实体,， ， 客体， and 和 另一个 过程 这样 那个 另外 过程 是 烹饪 的 instance 和 那个 客体 是 牛肉 的 instance 和 那个 客体 是 那个 另外 过程 的 resource 和 那个 实体 是 那个 另外 过程 的 result 和 那个 过程 是 商业服务 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 过程 是 出售 的 instance 和 那个 实体 是 那个 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7817-7824	如果 施事体 是 杂货店 的 instance， 然后 有存在 过程 和 实体 这样 那个 过程 是 出售 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 patient 和 那个 实体 是 food for 动物 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2133-2139	如果 物理 是 WebStore 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 出售 的 instance 和 那个 物理 是导致 那个 实体 的 instrument
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3097-3110	如果 过程 是 传播选择 的 instance， 然后 有存在 实体， 另一个 实体,， ， 另一个 过程,， ， 第三 过程， and 和 时间位置 这样 那个 实体 是 选项 的 instance 和 那个 另外 实体 是 选项 的 instance 和 那个 另外 过程 是 购买 的 instance 和 那个 第三 过程 是 出售 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 第三 过程%n是那个 过程的subProcess 和 那个 实体 是 那个 另外 过程 的 patient 和 那个 另外 实体 是 那个 第三 过程 的 patient 和 那个 另外 过程 在 那个 时间位置 是 存在 和 那个 第三 过程 在 那个 时间位置 是 存在
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7780-7788	如果 客体 是 零售店 的 instance， 然后 那个 客体 能够担当 主事 的角色做 出售 和 有存在 实体 和 过程 这样 那个 过程 是 出售 的 instance 和 那个 过程 在 那个 实体 结束 和 那个 实体 是 人类 的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 810-817	如果 有认知的主事 是个 potential customer 对于 施事体 ， 然后 有存在 实体 和 过程 这样 那个 过程 是 出售 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 patient 和 那个 有认知的主事 对 那个 实体 感兴趣
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 419-428	如果 有认知的主事 sells 有点 实体 對於 货币测量 ， 然后 如果 另一个 实体 是 出售 的 instance 和 第三 实体 是 有点 实体 的 immediateInstance 和 那个 第三 实体 是 那个 另外 实体 的 patient 和 那个 有认知的主事 是 那个 另外 实体 的 agent， 然后 那个 货币测量 是 那个 另外 实体 的 transaction 总额 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 398-405	如果 客体 是 prohibited 贩卖在 WebSite ， 然后 有存在 实体 这样 那个 实体 是 出售 的 instance 和 那个 WebSite facilitates 那个 实体 的声明 has 禁令 的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14182-14191	如果 命题 有 采购合同 的 attribute， 然后 有存在 过程， 那个 过程ELLER， and 和 另一个 协议 这样 那个 过程 是 出售 的 instance 和 那个 过程ELLER 是 那个 过程 的 agent 和 那个 过程 在 那个 另外 协议 结束 和 那个 过程 表示 那个 命题 的内容 和 那个 过程ELLER 是 那个 命题 的 party 协议 和 那个 另外 协议 是 那个 命题 的 party 协议
No TPTP formula. May not be expressible in strict first order.	Dining.kif 373-382	如果 standard retail hours 对于 施事体 是 有点 时距 ， 然后 有存在 过程， 另一个 时距， and 和 有认知的主事 这样 那个 过程 是 出售 的 instance 和 那个 另外 时距 是 有点 时距 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 施事体 是 那个 有认知的主事 的 customer 和 那个 过程 出现 的 time 在 那个 另外 时距 时段内发生
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 924-932	如果 使用者 人类 在 WebSite 已 sold 群体 ， 然后 对所有 金融交易 如果 那个 金融交易 是 出售 的 instance 和 那个 人类 是 那个 金融交易 的 agent 和 那个 WebSite facilitates 那个 金融交易 ， 然后 那个 金融交易 是 那个 群体 的 member
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 967-973	如果 人类 是 seller 在 WebSite ， 然后 那个 人类 desires 有存在 实体 这样 那个 实体 是 出售 的 instance 和 那个 人类 是 那个 实体 的 agent

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