TimeInterval |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1785-1786 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2086-2089 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 398-401 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2084-2084 | 子類 TimeInterval and TimePosition |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7885-7885 | 例 共同的時代之前 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7893-7893 | 例 共同時代 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2079-2079 | 劃分 TimePosition, TimeInterval and TimePoint |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3726-3726 | 範圍 財政年度開始 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8512-8512 | 範圍 未來 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8529-8529 | 範圍 眼前的未來 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8498-8498 | 範圍 不久的過去 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8480-8480 | 範圍 過去 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3749-3749 | 範圍 SiteSpeedFn and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1494-1494 | 範圍 TTFxFn and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8413-8413 | 範圍 時間間隔 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14038-14038 | 範圍 TimePeriodFn and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8469-8469 | 範圍 何時 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3698-3698 | 範圍子類 財政年度 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8446-8446 | 範圍子類 經常性時間間隔 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9375-9375 | 範圍子類 時間構成 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19091-19091 | 子類 午前 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1849-1849 | 子類 BreakfastTime and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9230-9230 | 子類 Day and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8857-8857 | 子類 一天的時間 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8765-8765 | 子類 Decade and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 112-112 | 子類 dhu al hijjah and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1878-1878 | 子類 DinnerTime and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14848-14848 | 子類 假日 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9340-9340 | 子類 Hour and TimeInterval |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7982-7982 | 域 開始, 1 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1048-1048 | 域 ContestFn, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8010-8010 | 域 結束, 1 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3160-3160 | 域 GPIFn, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2219-2219 | 域 Mean10MinutesWindSpeedFn, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2324-2324 | 域 Mean1MinuteWindSpeedFn, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2289-2289 | 域 Mean2MinutesWindSpeedFn, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2254-2254 | 域 Mean3MinutesWindSpeedFn, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1900-1900 | 域 Mean3SecondWindSpeedFn, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1994-1994 | 域 Mean3SecondWindSpeedListFn, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Music.kif 847-847 | 域 MusicalInterpretationFn, 3 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3086-3086 | 域 PPIFn, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3660-3660 | 域 SCRFn, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3364-3364 | 域 SiteWideNewBuyersFn, 1 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3416-3416 | 域 SiteWideNewRegistrationsFn, 1 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3463-3463 | 域 SiteWideNewSellersFn, 1 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9373-9373 | 域 時間構成, 1 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2034-2034 | 域 ThreeSecondGustSpeedFn, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1956-1956 | 域 TimeIntervalListFn, 1 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14011-14011 | 域 協議期限, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 986-986 | 域 期間平均溫度, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10378-10378 | 域 breathingRate, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4303-4303 | 域 burnInPeriod, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 554-554 | 域 複利, 3 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20803-20803 | 域 constructionPeriod, 2 and TimeInterval |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |
statement |
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
|