No TPTP formula. May not be expressible in strict first order.	Media.kif 2533-2536	时间位置 是 3 day 的 instance 和 Montenegro 的名 是 "Montenegro" 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 2546-2550	时间位置 是 3 day 的 instance 和 塞尔维亚和黑山 不 是 独立国家 的 instance 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Government.kif 2791-2794	时间位置 是 1 day 的 instance 和 安第斯国际社会 是 "Andean Community of Nations" 的 conventional 全名 在 紧接 那个 时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Government.kif 2765-2769	时间位置 是 1996 year 的 instance 和 法语社区的代理机构 是 "Agency for the French-Speaking Community" 的 conventional 全名 在 紧接 那个 时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	WMD.kif 767-773	?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒传递 和 ?PROCESS 是 ?PROCESSTYPE 的 instance 和 ?ORGANISM 经历了 ?PROCESS 增加 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2011-2015	~{ GUIElement 有 state GUE_NonVisibleState } 或 ~{ 那个 GUIElement 有 state GUE_ActiveState } 或 ~{ 那个 GUIElement 是 InterfaceWindow 的 instance }
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2226-2229	~{ GUIElement 是 Cursor 的 instance } 或 ~{ 那个 GUIElement 有 state GUE_SelectedState }
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1952-1955	~{ GUIElement 是 MouseCursor 的 instance } 或 ~{ 那个 GUIElement 有 state GUE_ActiveState }
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6099-6106	不存在 图路径 和 另一个 图路径 这样 那个 图路径 是 把 图 分成另外两个图的路径 Set 的 instance 和 那个 另外 图路径 是 把 那个 图 分成另外两个图的最短路径 Set 的 instance 和 那个 图路径 的 length 是 正整数 和 那个 另外 图路径 的 length 是 另一个 正整数 和 那个 正整数 是 lessThan 那个 另外 正整数

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