instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2533-2536 | 持有期間 未來 TimePosition and 例 TimePosition and 天 3 and 月 June and 年 2006 名 "Montenegro" and Montenegro |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2546-2550 | 持有期間 未來 TimePosition and 例 TimePosition and 天 3 and 月 June and 年 2006 例 塞爾維亞和黑山 and 獨立國家 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2791-2794 | 持有期間 眼前的未來 TimePosition and 例 TimePosition and 天 1 and 月 October and 年 1992 安第斯國際社會 是 "Andean Community of Nations" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2765-2769 | 持有期間 眼前的未來 TimePosition and 例 TimePosition and 年 1996 法語社區的代理機構 是 "Agency for the French-Speaking Community" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 767-773 | 增加可能性 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒徵兆 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒傳遞 例 ?PROCESS and ?PROCESSTYPE 體驗者 ?PROCESS and ?ORGANISM and attribute ?ORGANISM and ?SYMPTOM |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2011-2015 | ~{ GUIElement 有 state GUE_NonVisibleState } ~{ GUIElement 有 state GUE_ActiveState } ~{ 例 GUIElement and InterfaceWindow } |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2226-2229 | ~{ 例 GUIElement and Cursor } ~{ GUIElement 有 state GUE_SelectedState } |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1952-1955 | ~{ 例 GUIElement and MouseCursor } ~{ GUIElement 有 state GUE_ActiveState } |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6099-6106 | GraphPath GraphPath 例 GraphPath and 切集 Graph 例 GraphPath and 最小割集 Graph 路徑長度 GraphPath and PositiveInteger 路徑長度 GraphPath and PositiveInteger 少於 PositiveInteger and PositiveInteger |