No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3340-3352	如果 过程 是 TransportationService 的 instance， 然后 有存在 客体， 施事体,， ， 另一个 过程， and 和 有认知的主事 这样 那个 施事体 是 那个 过程 的 agent 和 那个 施事体 possesses 那个 客体 和 那个 施事体 是 那个 有认知的主事 的 customer 和 那个 客体 是 车辆 的 instance 和 那个 另外 过程 是 运输 的 instance 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 有认知的主事 是 那个 另外 过程 的 patient 和 那个 客体 是导致 那个 另外 过程 的 instrument 和 那个 另外 过程%n是那个 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3932-3935	如果 内容承载物理 是 标题 的 instance， 然后 有存在 实体 和 另一个 实体 这样 那个 内容承载物理 contains 那个 另外 实体 possesses 那个 实体 的资料
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2104-2124	如果 过程 是 CurrencyExchangeService 的 instance， 然后 有存在 实体， 另一个 实体,， ， 第三 实体,， ， 第四 实体,， ， 施事体,， ， 第五 实体,， ， 第六 实体,， ， 第七 实体， and 和 第八 实体 这样 那个 施事体 是 那个 过程 的 agent 和 那个 另外 实体 不 equal 那个 第四 实体 和 那个 实体 是 货币测量 的 instance 和 那个 第三 实体 是 货币测量 的 instance 和 那个 第五 实体 的价值 是 那个 实体 和 那个 施事体 possesses 那个 第五 实体 和 那个 实体 equal 那个 第七 实体 那个 另外 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 第六 实体 的价值 是 那个 第三 实体 和 那个 施事体 possesses 那个 第六 实体 和 那个 施事体 doesn't possesses 那个 第五 实体 和 那个 第三 实体 equal 那个 第八 实体 那个 第四 实体 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22580-22585	如果 客体 是 教育设施 的 instance， 然后 有存在 施事体 这样 那个 施事体 是 教育机构 的 instance 和 那个 施事体 possesses 那个 客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22378-22387	如果 客体 是 使馆大楼 的 instance， 然后 有存在 施事体 和 另一个 客体 这样 那个 施事体 是 国家 的 instance 和 那个 另外 客体 是 国家 的 instance 和 那个 施事体 不 equal 那个 另外 客体 和 那个 施事体 possesses 那个 客体 和 那个 客体 是 located 在 那个 另外 客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22404-22409	如果 客体 是 政府大楼 的 instance， 然后 有存在 施事体 这样 那个 施事体 是 政府 的 instance 和 那个 施事体 possesses 那个 客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21903-21916	如果 过程 是 劫持 的 instance， 然后 有存在 实体 和 施事体 这样 那个 施事体 是 那个 过程 的 agent 和 那个 实体 是 运输设备 的 instance 和 那个 施事体 doesn't possesses 那个 实体 在 紧接 那个 过程 出现 的 time before holdsDuring 和 那个 施事体 possesses 那个 实体 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22559-22573	如果 物理 是 餐厅建筑 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体,， ， 第四 实体， and 和 那个 第四 实体AY 这样 那个 实体 employs 那个 另外 实体 和 那个 实体 possesses 那个 物理 和 那个 第四 实体 是 人类 的 instance 和 那个 第四 实体AY 是 金融交易 的 instance 和 那个 第四 实体 是 那个 第四 实体AY 的 agent 和 那个 另外 实体 是 那个 第四 实体AY 的 patient 和 那个 第三 实体 允许 那个 第四 实体 执行 那个 另外 实体 的任务 和 那个 第三 实体 是 进食 的 instance 和 那个 第四 实体 是 那个 第三 实体 的 agent 和 那个 第三 实体 是 located 在 那个 物理
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6890-6898	如果 永久居留权 是 施事体 的 landlord ， 然后 有存在 过程 和 另一个 施事体 这样 那个 施事体 possesses 那个 永久居留权 和 那个 永久居留权 是 那个 另外 施事体 的 tenant 和 那个 另外 施事体 是 那个 过程 的 agent 和 那个 过程 是 租 的 instance 和 那个 永久居留权 是 那个 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 648-655	如果 客体 是由 施事体 managed ， 然后 有存在 那个 施事体2 和 过程 这样 那个 施事体2 possesses 那个 客体 和 那个 过程 是 管理 的 instance 和 那个 客体 是 那个 过程 的 patient 和 那个 施事体 是 那个 过程 的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29989-29997	如果 施事体 rents 客体 给 另一个 施事体 在其间 时距 ， 然后 有存在 实体 这样 那个 实体 是 租 的 instance 和 那个 客体 是 那个 实体 的 patient 和 那个 另外 施事体 是 那个 实体 的 agent 和 那个 施事体 possesses 那个 客体 在 那个 时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30878-30884	如果 shortage 有认知的主事, 有点 客体, 货币测量, 时距 and 数量， 然后 那个 有认知的主事 desires 有存在 实体 这样 那个 实体 是 有点 客体 的 instance 和 那个 有认知的主事 possesses 那个 实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6906-6914	如果 永久居留权 是 施事体 的 tenant ， 然后 有存在 另一个 施事体 和 过程 这样 那个 过程 是 租 的 instance 和 那个 永久居留权 是 那个 另外 施事体 的 landlord 和 那个 施事体 是 那个 过程 的 agent 和 那个 另外 施事体 possesses 那个 永久居留权 和 那个 永久居留权 是 那个 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3941-3943	如果 thirdPartyProduct 人工制品, 机构 and 施事体， 然后 那个 施事体 possesses 那个 人工制品
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1179-1185	如果 公式 是 known 关于 拜访 WebSite 的 施事体 ， 然后 有存在 有认知的主事 这样 那个 有认知的主事 是 有认知的主事 的 instance 和 那个 有认知的主事 possesses 那个 WebSite 和 那个 有认知的主事 knows 那个 公式

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