holdsDuring |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2083-2085 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3884-3887 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 731-733 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3881-3881 | 域 持有期間, 1 and TimePosition |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3882-3882 | 域 持有期間, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3880-3880 | 例 持有期間 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3879-3879 | 例 持有期間 and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 121-121 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 122-122 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 82-82 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 129-129 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1909-1909 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 34-34 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 117-117 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 142-142 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 169-169 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 101-101 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 81-81 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 264-264 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3869-3869 | 相關的內部概念 時間 and 持有期間 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 122-122 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28353-28353 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28352-28352 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28351-28351 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 42-42 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 265-265 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30178-30188 | 例 Entity and BodyPart 持有期間 TimePosition and attribute Entity and Bare 持有期間 TimePosition and entity 例 entity and Clothing covers entity and Entity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2680-2690 | 例 Entity and Region 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and 測量 298.15 and 凱文度 是 Entity 的 air 溫度 測量 29.530 and 英寸汞 是 Entity 的 barometric 壓力 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17254-17262 | 持有期間 TimePosition and 例 entity and Human entity 採用 entity and entity 持有期間 TimePosition and attribute entity and 失業的 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30132-30140 | 持有期間 TimePosition and attribute entity and Barefoot 持有期間 TimePosition and entity 例 entity and 鞋 穿 entity and entity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30145-30153 | 持有期間 TimePosition and attribute entity and Naked 持有期間 TimePosition and entity 例 entity and Clothing 穿 entity and entity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30223-30236 | 持有期間 TimeInterval and attribute Entity and Alone Entity2 Process 等於 Entity and Entity2 例 Entity2 and AutonomousAgent 例 Process and SocialInteraction 期間 何時 Process and TimeInterval Entity 是事件 Process 的 involved Entity2 是事件 Process 的 involved |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30271-30279 | 持有期間 TimeInterval and attribute AutonomousAgent and Mute Process 例 Process and 說話 期間 何時 Process and TimeInterval agent Process and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1601-1607 | 持有期間 TimePosition and attribute entity and LegalAgent 持有期間 TimePosition and 能力 LegalAction, agent and entity 能力 LegalAction, 患者 and entity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6231-6244 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13841-13854 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 367-385 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1597-1603 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 809-825 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2585-2603 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 223-234 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 406-411 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 509-514 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7960-7967 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1838-1860 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1862-1884 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1799-1807 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1814-1821 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 161-172 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23916-23932 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18246-18254 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | People.kif 456-469 | 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每個女人生的 children and 基數 卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女 持有期間 年 and 棲息 entity and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | 等於 GeopoliticalArea 和 年 每年的 reaching 軍事男性年齡 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀 等於 entity and 減法 entity and 1 持有期間 年 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity 等於 entity and entity 棲息 SymbolicString and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2453-2457 | TimePosition 例 TimePosition and 年 1976 持有期間 TimePosition and 斯蒂夫·沃茲尼亞克 是 史蒂芬·賈伯斯 的 coworker |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2441-2445 | TimePosition 例 TimePosition and 年 2002 持有期間 TimePosition and 提姆·庫克 是 史蒂芬·賈伯斯 的 coworker |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1970-1978 | TimeInterval 例 TimeInterval and TimeInterval 飾面 TimeInterval and 何時 JesusOfNazareth 啟動 TimeInterval and 何時 TwelveApostles entity
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2501-2504 | 持有期間 未來 TimePosition and 例 Serbia and 歐洲國家 例 TimePosition and 天 5 and 月 June and 年 2006 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2496-2499 | 持有期間 未來 TimePosition and 例 Serbia and 獨立國家 例 TimePosition and 天 5 and 月 June and 年 2006 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2506-2509 | 持有期間 未來 TimePosition and 名 "Republic of Serbia" and Serbia 例 TimePosition and 天 5 and 月 June and 年 2006 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2528-2531 | 持有期間 未來 TimePosition and 例 TimePosition and 天 3 and 月 June and 年 2006 例 Montenegro and 歐洲國家 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2523-2526 | 持有期間 未來 TimePosition and 例 TimePosition and 天 3 and 月 June and 年 2006 例 Montenegro and 獨立國家 |
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. | Media.kif 1920-1920 | 持有期間 何時 JesusOfNazareth and 位於 JesusOfNazareth and 巴勒斯坦 |