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.	ComputerInput.kif 1211-1216	如果 实体 是 UserDirectAction 的 instance， 然后 有存在 另一个 实体_ACTION 这样 那个 实体 表达 那个 另外 实体_ACTION 和 那个 另外 实体_ACTION 是 UserSignifiedAction 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2409-2414	如果 实体 是 AnimalDoll 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 动物 的 instance 和 那个 实体 表达 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2420-2425	如果 实体 是 HumanDoll 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 人类 的 instance 和 那个 实体 表达 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2301-2312	如果 物理 是 BestMatchAlgorithm 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 第四 实体 这样 那个 实体 是 SearchQuery 的 instance 和 那个 另外 实体 是 SearchAttempt 的 instance 和 那个 实体 表达 那个 另外 实体 和 那个 实体 是 那个 物理 的 patient 和 那个 第四 实体 是 施事体 的 instance 和 那个 第三 实体 是 那个 另外 实体 的 patient 和 那个 第四 实体 是 那个 另外 实体 的 agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2596-2605	如果 内容承载物理 是 BusinessRequirementDocument 的 instance， 然后 有存在 命题， 有认知的主事， and 和 公式 这样 那个 命题 是 计划 的 instance 和 那个 有认知的主事 是 Business 的 instance 和 那个 公式 是 过程 的 instance 和 那个 命题 表达 那个 公式 和 那个 有认知的主事 desires 那个 公式 和 那个 内容承载物理 contains 那个 命题 的资料
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2264-2269	如果 实体 是 罗盘 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 方向属性 的 instance 和 那个 实体 表达 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13152-13158	如果 过程 是 语言交流 的 instance， 然后 有存在 实体 这样 那个 过程 表达 那个 实体 和 那个 实体 是 语言式表达 的 instance 和 那个 实体 是 那个 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13964-13969	如果 实体 是 协议 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 承诺 的 instance 和 那个 另外 实体 表达 那个 实体
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1736-1746	如果 物理 是 电脑协定 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 电脑程序 的 instance 和 那个 另外 实体 是 电脑程序 的 instance 和 那个 第三 实体 是 数据传输 的 instance 和 那个 实体 是 那个 第三 实体 的源头 和 那个 第三 实体 在 那个 另外 实体 结束 和 那个 物理 表达 那个 第三 实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2398-2403	如果 实体 是 Doll 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 施事体 的 instance 和 那个 实体 表达 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3800-3810	如果 过程 是 试验 的 instance， 然后 有存在 公式 和 实体 这样 那个 实体 是 公式 的 instance 和 那个 实体 是 那个 过程 的 result 和 那个 公式 是 公式 的 instance 和 那个 公式 是 那个 过程 的 patient 和 那个 公式 的机率 表达 那个 实体
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3015-3021	如果 物理 是 资料夹 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 电脑目录 的 instance 和 那个 物理 表达 那个 实体
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2544-2552	如果 客体 是 插槽 的 instance， 然后 有存在 另一个 客体， 电脑程序， and 和 电脑程序 这样 那个 电脑程序 是 电脑程序 的 instance 和 那个 电脑程序 是 那个 电脑程序 的执行 program 和 那个 另外 客体 是 图标 的 instance 和 那个 另外 客体 表达 那个 电脑程序 和 那个 另外 客体 在 那个 客体 的 内
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25864-25869	如果 实体 是 VideoGame 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 视频录制 的 instance 和 那个 另外 实体 表达 那个 实体
No TPTP formula. May not be expressible in strict first order.	engineering.kif 536-541	如果 实体 是 跨变量累加器 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 电容器元件 的 instance 和 那个 实体 表达 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	engineering.kif 836-841	如果 实体 是 消减器 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 电阻元件 的 instance 和 那个 实体 表达 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	engineering.kif 543-548	如果 实体 是 电气双极 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 电容器元件 的 instance 和 那个 实体 表达 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	engineering.kif 561-566	如果 实体 是 电气双极 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 电感元件 的 instance 和 那个 实体 表达 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	engineering.kif 843-848	如果 实体 是 电气双极 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 电阻元件 的 instance 和 那个 实体 表达 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13287-13292	如果 实体 是 地图 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 地理区域 的 instance 和 那个 实体 表达 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	engineering.kif 554-559	如果 实体 是 通过变量累加器 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 电感元件 的 instance 和 那个 实体 表达 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	engineering.kif 592-597	如果 实体 是 双端口 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 传感器 的 instance 和 那个 实体 表达 那个 另外 实体
No TPTP formula. May not be expressible in strict first order.	Military.kif 25-30	如果 实体 是 军事行动 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 计划 的 instance 和 那个 另外 实体 表达 那个 实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1311-1314	如果 实体 是 内容承载物理 的 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