No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2746-2754	如果 客体 是 连接线 的 instance 和 另一个 客体 不 是 Cable 的 instance 和 那个 另外 客体 是 那个 客体 的 part， 然后 那个 另外 客体 是 公 的 instance 或 那个 另外 客体 是 母 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12621-12632	如果 过程 是 内部变化 的 instance 和 实体 是 那个 过程 的 patient， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 另外 实体 不 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring 或 那个 另外 实体 不 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 另外 实体 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12658-12672	如果 过程 是 染色 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 实体 和 另一个 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 那个 实体 是 颜色属性 的 instance 和 那个 实体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 不 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring 或 那个 实体 不 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18505-18514	如果 过程 是 MusicalConducting 的 instance 和 实体 是 那个 过程 的 patient 和 另一个 实体 是 音乐家 的 instance， 然后 那个 实体 是 音乐团体 的 instance 或 那个 另外 实体 是 那个 实体 的 attribute 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2597-2607	如果 时距 是 CoveringGUIElement 的 instance 和 实体_TOP 是 那个 时距 的 agent 和 那个 实体_BOTTOM 是 那个 时距 的 patient 和 那个 实体_TOP 是 GUIElement 的 instance 和 那个 实体_BOTTOM 是 GUIElement 的 instance， 然后 那个 实体_BOTTOM 是由 那个 实体_TOP covered 或 那个 实体_BOTTOM 是由 那个 实体_TOP partially covered 在 那个 时距 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17170-17190	如果 过程 是 减速 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 实数， 另一个 实数,， ， 第三 实数,， ， 第四 实数,， ， 实体， and 和 另一个 实体 这样 那个 施事体 的 measure 是 那个 实数 那个 实体 除以 那个 第三 实数 那个 另外 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 的 measure 是 那个 另外 实数 那个 实体 除以 那个 第四 实数 那个 另外 实体 在 那个 过程 出现 的 time 的结束 holdsDuring 和 那个 实数 是 greaterThan 那个 另外 实数 或 那个 第三 实数 是 greaterThan 那个 第四 实数
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2663-2669	如果 过程 是 示范 的 instance 和 施事体 是 那个 过程 的 agent， 然后 那个 施事体 是 人类 的 instance 或 那个 施事体 是 一群人 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 450-463	如果 过程 是 躲着 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 过程T equal 那个 过程 出现 的 time， 然后 那个 过程 的 目的 是 不存在 实体 这样 那个 过程T 接着 那个 实体 出现 的 time 或 那个 实体 出现 的 time 时段 和 那个 过程T 重叠 和 那个 实体 是 碰撞 的 instance 和 那个 施事体 是 那个 实体 的 patient
No TPTP formula. May not be expressible in strict first order.	Media.kif 498-506	如果 时间位置 是 EasterSunday 的 instance 和 那个 时间位置 时段 是 另一个 时间位置 时段 的一 part 和 那个 另外 时间位置 是 月 的 instance， 然后 那个 另外 时间位置 是 三月 的 instance 或 那个 另外 时间位置 是 A四月 的 instance 或 那个 另外 时间位置 是 五月 的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3517-3529	如果 过程 是 Epidemic 的 instance 和 施事体 是事件 那个 过程 的 involved ， 然后 属性 是 疾病或综合症 的 instance 和 那个 属性 是 那个 施事体 的 attribute 或 有存在 另一个 过程 这样 那个 另外 过程 是 病理过程 的 instance 和 那个 施事体 经历了 那个 另外 过程 和 那个 另外 过程%n是那个 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1738-1751	如果 过程 是 ExperiencingHeatInCheeksOrChest 的 instance 和 施事体 经历了 那个 过程， 然后 有存在 另一个 过程 和 客体 这样 那个 另外 过程 是 感知 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 客体 是 那个 另外 过程 的 patient 和 那个 客体 是 躯干 的 instance 或 那个 客体 是 面对 的 instance 和 那个 客体 是 那个 施事体 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18920-18926	如果 属性 是 娱乐专业 的 instance 和 那个 属性 是 人类 的 attribute， 然后 性能 的 occupation 是 那个 人类 的 occupation 或 内容制作 的 occupation 是 那个 人类 的 occupation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2609-2623	如果 过程 是 疏散 的 instance 和 机构 是 那个 过程 的 agent 和 施事体 经历了 那个 过程， 然后 有存在 另一个 过程 和 那个 另外 过程A 这样 那个 另外 过程 是 分类 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 施事体 经历了 那个 另外 过程 和 那个 另外 过程A 是 那个 机构 Organization 的一部分 或 那个 另外 过程A 是 那个 机构 的 member 或 那个 另外 过程A equal 那个 机构 和 那个 另外 过程A 是 那个 另外 过程 的 agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	如果 过程 是 疏散 的 instance 和 机构 是 那个 过程 的 agent 和 客体 是 那个 过程 的源头， 然后 有存在 另一个 过程 和 那个 另外 过程A 这样 那个 另外 过程 是 易位 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 客体 是 那个 另外 过程 的源头 和 那个 另外 过程A 经历了 那个 另外 过程 或 那个 另外 过程A 是 那个 另外 过程 的 agent 和 那个 另外 过程A 是 那个 机构 Organization 的一部分 或 那个 另外 过程A 是 那个 机构 的 member 或 那个 另外 过程A equal 那个 机构
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	如果 过程 是 疏散 的 instance 和 施事体 经历了 那个 过程 和 机构 是 那个 过程 的 agent， 然后 有存在 另一个 过程 和 那个 另外 过程A 这样 那个 另外 过程 是 治疗过程 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 另外 过程A 是 那个 机构 Organization 的一部分 或 那个 另外 过程A 是 那个 机构 的 member 或 那个 另外 过程A equal 那个 机构 和 那个 另外 过程A 是 那个 另外 过程 的 agent 和 那个 施事体 经历了 那个 另外 过程
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2573-2587	如果 过程 是 疏散 的 instance 和 客体 是 那个 过程 的源头 和 机构 是 那个 过程 的 agent， 然后 有存在 另一个 过程 和 那个 另外 过程A 这样 那个 另外 过程 是 维护 的 instance 和 那个 另外 过程 是 located 在 那个 客体 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 另外 过程A 是 那个 机构 Organization 的一部分 或 那个 另外 过程A 是 那个 机构 的 member 或 那个 另外 过程A equal 那个 机构 和 那个 另外 过程A 是 那个 另外 过程 的 agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2554-2569	如果 过程 是 疏散 的 instance 和 客体 是 那个 过程 的源头 和 机构 是 那个 过程 的 agent， 然后 有存在 另一个 过程 和 那个 另外 过程A 这样 那个 另外 过程 是 运输 的 instance 和 那个 另外 过程 在 那个 客体 结束 和 那个 另外 过程A 是 那个 机构 Organization 的一部分 或 那个 另外 过程A 是 那个 机构 的 member 或 那个 另外 过程A equal 那个 机构 和 那个 另外 过程A 是 那个 另外 过程 的 agent 或 那个 另外 过程A 是 那个 另外 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3923-3934	如果 试验 是 试验 的 instance 和 人类 是 人类 的 instance 和 那个 人类 是在 那个 试验 的 subject ， 然后 有存在 过程 这样 那个 过程 是 过程 的 instance 和 那个 人类 经历了 那个 过程 和 control 在实验 那个 试验 是 那个 过程 或 那个 过程 在 那个 试验 的 process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12949-12956	如果 过程 是 表示赞同 的 instance 和 有认知的主事 是 那个 过程 的 agent 和 公式 是 那个 过程 的 patient， 然后 那个 有认知的主事 wants 那个 公式 或 那个 有认知的主事 desires 那个 公式
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12962-12969	如果 过程 是 表示不赞成 的 instance 和 有认知的主事 是 那个 过程 的 agent 和 公式 是 那个 过程 的 patient， 然后 那个 有认知的主事 dislikes 那个 公式 或 那个 公式 是 那个 有认知的主事 的 disapproves
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1960-1975	如果 过程 是 外国内部防御 的 instance 和 施事体 是 那个 过程 的 agent 和 另一个 施事体 经历了 那个 过程， 然后 那个 过程 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 另外 实体 是 学习 的 instance 和 那个 实体 经历了 那个 另外 实体 和 那个 施事体 是 那个 另外 实体 的 agent 和 那个 另外 施事体 是 那个 实体 的 military 区域 或 那个 实体 是 军事力量 的 instance 和 那个 实体 是 located 在 那个 另外 施事体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2647-2654	如果 公式 是 公式 的 instance 和 另一个 公式 是 公式 的 instance， 然后 那个 公式 增加 那个 另外 公式 发生的机率 或 那个 公式 减少 那个 另外 公式 发生的机率 或 那个 公式 和 那个 另外 公式 各自独立发生的机率是 %n
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5630-5650	如果 图 是 图 的 instance 和 图节点 是 图节点 的 instance 和 另一个 图节点 是 图节点 的 instance 和 那个 图节点 是 那个 图 的 part 和 那个 另外 图节点 是 那个 图 的 part 和 那个 图节点 不 equal 那个 另外 图节点， 然后 有存在 图弧 和 图路径 这样 那个 图弧 links 那个 图节点 和 那个 另外 图节点 或 那个 图路径 是 那个 图 的 subGraph 和 那个 图路径 是 图路径 的 instance 和 那个 图路径 的开端 equal 那个 图节点 和 那个 图路径 的末端 equal 那个 另外 图节点 或 那个 图路径 的开端 equal 那个 另外 图节点 和 那个 图路径 的末端 equal 那个 图节点
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1935-1948	如果 GUIElement 是 GUIElement 的 instance 和 另一个 GUIElement 是 GUIElement 的 instance 和 那个 GUIElement 不 是 InterfaceWindow 的 instance 和 那个 另外 GUIElement 不 是 InterfaceWindow 的 instance 和 那个 GUIElement 是 displayed 在 ComputerScreen 和 那个 另外 GUIElement 是 displayed 在 那个 ComputerScreen 和 那个 GUIElement 有 state GUE_ActiveState 和 那个 另外 GUIElement 有 state GUE_ActiveState ， 然后 那个 GUIElement 是 那个 另外 GUIElement 的 properPart 或 那个 另外 GUIElement 是 那个 GUIElement 的 properPart 或 那个 GUIElement equal 那个 另外 GUIElement
No TPTP formula. May not be expressible in strict first order.	Media.kif 587-597	如果 时距 是 Hanukkah 的 instance 和 时点 equal 那个 时距 的开始， 然后 有存在 时间位置 这样 那个 时点 时段 是 那个 时间位置 时段 的一 part 和 那个 时间位置 是 月 的 instance 和 那个 时间位置 是 十一月 的 instance 或 那个 时间位置 是 十二月 的 instance
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