No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1469-1477	如果 PostExertionalMalaise 是 实体 的 attribute 在 时距 holdsDuring， 然后 有存在 过程 这样 那个 过程 是 娱乐或锻炼 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 过程 出现 的 time 比那个 时距发生的earlier
No TPTP formula. May not be expressible in strict first order.	Media.kif 1873-1879	如果 MusicalConductor 是 施事体 的 attribute 在 时距 holdsDuring， 然后 有存在 过程 这样 那个 过程 是 MusicalConducting 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 时距 doesn't 比那个 过程 出现 的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10617-10625	如果 实体 expects 另一个 实体 会是事实 在 时距 holdsDuring， 然后 有存在 另一个 时距 这样 那个 实体 believes 那个 另外 实体 在 那个 另外 时距 holdsDuring 在 那个 时距 holdsDuring 和 那个 时距 比那个 另外 时距发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13813-13818	如果 实体 的声明 has 法 的语气 在 时距 holdsDuring， 然后 有存在 另一个 时距 这样 立法法案 是 那个 实体 的 attribute 在 那个 另外 时距 holdsDuring 和 那个 另外 时距 比那个 时距发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14522-14532	如果 实体 是 公告 的 instance， 然后 有存在 过程 和 物理 这样 那个 过程 是 内容制作 的 instance 和 那个 实体 是 那个 过程 的 result 和 那个 实体 提到 那个 物理 和 那个 物理 是 社交 的 instance 和 那个 过程 出现 的 time 比那个 物理 出现 的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3317-3332	如果 物理 是 Antiseizure 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 人类 的 instance 和 那个 另外 实体 是 消化 的 instance 和 objectTransferred 那个 另外 实体 and 那个 物理 和 那个 实体 是 那个 另外 实体 的 agent 和 那个 另外 实体 出现 的 time 比那个 第三 实体发生的earlier 和 不存在 第五 实体 这样 那个 第五 实体 是 Seizure 的 instance 和 那个 实体 经历了 那个 第五 实体 在 那个 第三 实体 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 333-338	如果 物理 是 aqiqah 的 instance， 然后 有存在 另一个 物理 这样 那个 物理 提到 那个 另外 物理 和 那个 另外 物理 出现 的 time 比那个 物理 出现 的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14886-14891	如果 物理 是 历史记录 的 instance， 然后 有存在 另一个 物理 这样 那个 物理 表达 那个 另外 物理 和 那个 另外 物理 出现 的 time 比那个 物理 出现 的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 898-904	如果 物理 是 回答中 的 instance， 然后 有存在 另一个 物理 这样 那个 另外 物理 是 询问 的 instance 和 那个 物理 提到 那个 另外 物理 和 那个 另外 物理 出现 的 time 比那个 物理 出现 的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10362-10373	如果 过程 是 Breath 的 instance， 然后 有存在 另一个 过程 和 第三 过程 这样 那个 另外 过程%n是那个 过程的subProcess 和 那个 第三 过程%n是那个 过程的subProcess 和 那个 另外 过程 出现 的 time 比那个 第三 过程 出现 的 time发生的earlier 和 那个 另外 过程 出现 的 time 接着 那个 第三 过程 出现 的 time
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1465-1475	如果 过程 是 Checkout 的 instance， 然后 有存在 另一个 过程 这样 那个 另外 过程 是 购买 的 instance 和 那个 过程%n是那个 另外 过程的subProcess 和 不存在 第三 过程 这样 那个 第三 过程%n是那个 另外 过程的subProcess 和 那个 过程 出现 的 time 比那个 第三 过程 出现 的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 828-844	如果 物理 是 ChestSeal 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 那个 实体H,， ， 第三 实体， and 和 第四 实体 这样 那个 实体 是 关闭 的 instance 和 那个 物理 是导致 那个 实体 的 instrument 和 那个 实体 是 located 在 那个 实体H 和 那个 实体H 是 Chest 的 instance 和 那个 第四 实体 是 洞 的 instance 和 那个 实体H equal 洞 那个 第四 实体 的主体 和 那个 第三 实体 是 受伤 的 instance 和 那个 第三 实体 是 located 在 那个 实体H 和 那个 第三 实体 出现 的 time 比那个 实体 出现 的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17322-17344	如果 过程 是 Disappearing 的 instance， 然后 有存在 实体， 施事体,， ， 另一个 过程， and 和 时间位置 这样 那个 另外 过程 是 Searching 的 instance 和 那个 过程 出现 的 time 比那个 另外 过程 出现 的 time发生的earlier 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 实体 是 客体 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 实体 是 那个 另外 过程 的 patient 和 那个 时间位置 是 时距 的 instance 和 那个 时间位置 时段 是 那个 另外 过程 出现 的 time 时段 的一 part 和 有存在 那个 过程ISC 这样 那个 过程ISC 是 发现 的 instance 和 那个 施事体 是 那个 过程ISC 的 agent 和 那个 实体 是 那个 过程ISC 的 patient 的声明 doesn't have 可能性 的语气 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10823-10830	如果 物理 是 法律决定 的 instance， 然后 有存在 过程 这样 那个 过程 是 决定 的 instance 和 类 是 那个 过程 的 result 和 那个 物理 是 那个 类 的 instance 和 那个 过程 出现 的 time 比那个 物理 出现 的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29647-29655	如果 时距 是 Elaborating 的 instance， 然后 有存在 另一个 时距， 那个 时距P， and 和 那个 另外 时距P 这样 那个 另外 时距 是 语言交流 的 instance 和 那个 另外 时距 比那个 时距发生的earlier 和 那个 时距 contains 那个 时距P 的资料 和 那个 另外 时距 contains 那个 另外 时距P 的资料 和 那个 时距P 包含 那个 另外 时距P 的内容
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4891-4911	如果 物理 是 Ivabradine 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 那个 物理N， and 和 第三 实体 这样 那个 实体 是 人类 的 instance 和 那个 第三 实体 是 PainFn Chest 的 instance 和 那个 实体 经历了 那个 第三 实体 和 那个 物理N 是 消化 的 instance 和 那个 实体 是 那个 物理N 的 agent 和 那个 第三 实体 出现 的 time 比那个 物理N 出现 的 time发生的earlier 和 不存在 那个 第三 实体2 这样 那个 第三 实体2 是 PainFn Chest 的 instance 和 那个 实体 经历了 那个 第三 实体2 和 那个 物理N 出现 的 time 比那个 第三 实体2 出现 的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 266-286	如果 时距 是 ListOnSite 的 instance， 然后 有存在 客体， 实体,， ， 另一个 时距,， ， 第三 时距， and 和 施事体 这样 那个 客体 是 WebSite 的 instance 和 那个 实体 是 WebListing 的 instance 和 那个 另外 时距 是 时距 的 instance 和 那个 第三 时距 是 时距 的 instance 和 那个 实体 是 那个 时距 的 patient 和 那个 另外 时距 的结束 equal 那个 时距 的结束 和 那个 时距 比那个 第三 时距发生的earlier 和 那个 时距 接着 那个 第三 时距 和 不 那个 实体 是在 那个 客体 hosted 在 那个 另外 时距 holdsDuring 和 那个 实体 是在 那个 客体 hosted 在 那个 第三 时距 holdsDuring 和 那个 施事体 是 那个 时距 的 agent 和 那个 施事体 possesses 那个 客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15992-15998	如果 物理 是 正式会议 的 instance， 然后 有存在 过程 这样 那个 过程 是 规划 的 instance 和 那个 物理 是 那个 过程 的 result 和 那个 过程 出现 的 time 比那个 物理 出现 的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4816-4833	如果 物理 是 Pedialyte 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 那个 另外 实体R 这样 那个 实体 是 人类的孩子 的 instance 和 那个 另外 实体 是 腹泻 的 instance 和 那个 第三 实体 是 Vomiting 的 instance 和 那个 实体 经历了 那个 另外 实体 和 那个 另外 实体 出现 的 time 比那个 另外 实体R 出现 的 time发生的earlier 或 那个 实体 经历了 那个 第三 实体 和 那个 第三 实体 出现 的 time 比那个 另外 实体R 出现 的 time发生的earlier 和 那个 另外 实体R 是 饮 的 instance 和 那个 实体 是 那个 另外 实体R 的 agent 和 objectTransferred 那个 另外 实体R and 那个 物理
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29698-29710	如果 过程 是 Prompting 的 instance， 然后 有存在 实体 和 有认知的主事 这样 那个 过程 在 那个 实体 结束 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 有认知的主事 desires 有存在 另一个 实体 这样 那个 另外 实体 是 语言交流 的 instance 和 那个 实体 是 那个 另外 实体 的 agent 和 那个 过程 比那个 另外 实体发生的earlier 和 那个 另外 实体 包含 那个 过程 的内容
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29664-29672	如果 时距 是 Restating 的 instance， 然后 有存在 另一个 时距， 那个 另外 时距P， and 和 那个 时距P 这样 那个 另外 时距 是 语言交流 的 instance 和 那个 另外 时距 比那个 时距发生的earlier 和 那个 时距 contains 那个 时距P 的资料 和 那个 另外 时距 contains 那个 另外 时距P 的资料 和 那个 时距P 等于 那个 另外 时距P
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2417-2428	如果 物理 是 由 过程 中止的 施事体 的 instance， 然后 有存在 时距 这样 那个 施事体 desires 有存在 那个 过程R 这样 那个 过程R 是 那个 过程 的 instance 和 那个 施事体 是 那个 过程R 的 agent 在 那个 时距 holdsDuring 和 那个 时距 比那个 物理 出现 的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 135-151	如果 过程 是 RestoringData 的 instance， 然后 有存在 另一个 过程， 实体,， ， 另一个 实体， and 和 类 这样 那个 另外 过程 是 DeletingData 的 instance 和 那个 另外 实体 是 数字数据 的 instance 和 那个 另外 实体 是 那个 过程 的 patient 和 那个 另外 实体 是 那个 另外 过程 的 patient 和 那个 另外 过程 出现 的 time 比那个 过程 出现 的 time发生的earlier 和 那个 实体 是 电脑程序 的 instance 和 那个 实体 是 那个 类 的 instance 和 那个 另外 实体 能够担当 受事 的角色做 那个 类 在 紧接 那个 过程 出现 的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4337-4345	如果 loggedInDuring 施事体, 用户帐号 and 时距， 然后 有存在 过程 这样 那个 过程 是 LoggingIn 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 用户帐号 是 那个 过程 的 patient 和 那个 施事体 有 account 那个 用户帐号 和 那个 时距 比那个 过程 出现 的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2461-2463	如果 SearchQuery 是 另一个 SearchQuery 的 rewrite ， 然后 那个 另外 SearchQuery 出现 的 time 比那个 SearchQuery 出现 的 time发生的earlier
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