TimeInterval - Sigma Knowledge base Browser

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 2080-2083
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 2078-2078	子類 TimeInterval and TimePosition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8658-8658	例共同的時代之前 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8666-8666	例共同時代 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2073-2073	劃分 TimePosition, TimeInterval and TimePoint
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3936-3936	範圍財政年度開始 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8554-8554	範圍未來 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8571-8571	範圍眼前的未來 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8540-8540	範圍不久的過去 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8522-8522	範圍過去 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 8455-8455	範圍時間間隔 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14966-14966	範圍 TimePeriodFn and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8511-8511	範圍何時 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3908-3908	範圍子類財政年度 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8488-8488	範圍子類經常性時間間隔 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9440-9440	範圍子類時間構成 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20180-20180	子類午前 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 9272-9272	子類 Day and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8899-8899	子類一天的時間 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8807-8807	子類 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 15776-15776	子類假日 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9405-9405	子類 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 8024-8024	域開始, 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 8052-8052	域結束, 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 2201-2201	域 Mean10MinutesWindSpeedFn, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2306-2306	域 Mean1MinuteWindSpeedFn, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2271-2271	域 Mean2MinutesWindSpeedFn, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2236-2236	域 Mean3MinutesWindSpeedFn, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1882-1882	域 Mean3SecondWindSpeedFn, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1976-1976	域 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 9438-9438	域時間構成, 1 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2016-2016	域 ThreeSecondGustSpeedFn, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1938-1938	域 TimeIntervalListFn, 1 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14939-14939	域協議期限, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 970-970	域期間平均溫度, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11274-11274	域 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 21892-21892	域 constructionPeriod, 2 and TimeInterval

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	持有期間 TimePosition and attribute Entity and 被驅逐公民 Entity and entity_NATION 例 TimePosition and TimeInterval Process Object 例 Object and Nation 等於 Object and entity_NATION 例 Process and 易位起源 Process and Object 患者 Process and Entity 目的地 Process and entity_NATION 時間部分 TimePosition and 何時 Process
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	持有期間 TimeInterval and attribute entity and 平民流離失所棲息 entity and entity 位於 entity and GeographicArea 例 GeographicArea and GeographicArea 例 TimeInterval and TimeInterval TimeInterval entity_PLACE and entity_RES 例 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 例 entity_RES and Object 例 entity_PLACE and GeopoliticalArea 位於 entity_RES and entity_PLACE 等於 GeographicArea and entity_PLACE 等於 entity and entity_RES GeographicArea 是 entity_PLACE 的 geographic 次要地區 entity_PLACE 是 GeographicArea 的 geographic 次要地區持有期間 TimeInterval and 棲息 entity and entity_RES
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 120-131	持有期間 TimeInterval and attribute AutonomousAgent and 撤離者例 TimeInterval and TimeInterval Process AutonomousAgent 例 Process and 疏散 agent Process and AutonomousAgent 例 AutonomousAgent and 軍事組織體驗者 Process and AutonomousAgent 早期何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 101-111	持有期間 TimeInterval and attribute entity and 國內流離失所者例 TimeInterval and TimeInterval entity TimeInterval 早期 TimeInterval and TimeInterval 持有期間 TimeInterval and attribute entity and 國內流離失所者是持有期間 TimeInterval and entity fears entity 的 causes 提議
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8745-8755	持有期間 TimeInterval and Entity 是 Entity 的 spouse 例 TimeInterval and TimeInterval Process 例 Process and 婚禮患者 Process and Entity 患者 Process and Entity 早期何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3829-3836	持有期間 TimeInterval and Formula 持有期間 TimeInterval and Formula 例 TimeInterval and TimeInterval 例 TimeInterval and TimeInterval Formula 是 Formula 的 causes 提議之前或相等開始 TimeInterval and 開始 TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	例 AccessingWebPage and AccessingWebPage 例 Entity and WebPage 例 Process and 數據傳輸例 Object and 服務器例 Process and Requesting 例 AutonomousAgent and WebBrowser 例 TimeInterval and TimeInterval 患者 AccessingWebPage and Entity agent Process and AutonomousAgent 目的地 Process and Object 患者 Process and Entity 起源 Process and Object 目的地 Process and AutonomousAgent 患者 Process and Entity 子過程 Process and AccessingWebPage 子過程 Process and AccessingWebPage 等於結束何時 Process and 開始 TimeInterval 等於結束何時 Process and 結束 TimeInterval 等於 access 的時間在 AccessingWebPage and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	例試驗 and 試驗例 TimeInterval and TimeInterval 等於部基數卡帕 SymbolicString and 例 SymbolicString and Buying 會員 SymbolicString and purchases 在試驗期間何時 SymbolicString and TimeInterval and 基數卡帕 SymbolicString and 會員 SymbolicString and treated users 在試驗例 entity and AccessingWebPage 期間何時 entity and TimeInterval agent entity and SymbolicString and purchases per user 在試驗期間 TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	例試驗 and 試驗例 Entity and TimeInterval 等於部基數卡帕 SymbolicString and 例 SymbolicString and Buying 會員 SymbolicString and purchases 在試驗 and 基數卡帕 SymbolicString and 會員 SymbolicString and treated users 在試驗例 entity and AccessingWebPage agent entity and SymbolicString and purchases per user 在試驗
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24627-24640	例 Confining and 監禁 Animal 是 Confining 的拘留者例 Animal and Human 時間 Confining and TimeInterval 例 TimeInterval and TimeInterval 被捕 TimeInterval 例 TimeInterval and TimeInterval 時間被捕 and TimeInterval 早期 TimeInterval and TimeInterval 例被捕 and 被捕被捕被捕 and Animal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection AutonomousAgent 會員 AutonomousAgent and Collection TimeInterval 例 AutonomousAgent and AutonomousAgent 例 TimeInterval and Buying agent TimeInterval and AutonomousAgent 儀器 TimeInterval and WebSite 期間 TimeInterval and TimeInterval TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and TimeInterval_BEFORE 例 TimeInterval_BEFORE and Buying agent TimeInterval_BEFORE and AutonomousAgent 儀器 TimeInterval_BEFORE and WebSite 期間 TimeInterval_BEFORE and TimeInterval 等於 new buyers 在 WebSite 其間 TimeInterval and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection Physical 例 Physical and Human TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and Physical 是 WebSite 的 registered user TimeInterval_DURING 例 TimeInterval_DURING and TimeInterval 期間 TimeInterval_DURING and TimeInterval 持有期間 TimeInterval and Physical 是 WebSite 的 registered user 會員 Physical and Collection 等於 Collection and new registrations 在 WebSite 期間 TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection AutonomousAgent 會員 AutonomousAgent and Collection TimeInterval 例 AutonomousAgent and AutonomousAgent 例 TimeInterval and Selling agent TimeInterval and AutonomousAgent 儀器 TimeInterval and WebSite 期間 TimeInterval and TimeInterval TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and TimeInterval_BEFORE 例 TimeInterval_BEFORE and Selling agent TimeInterval_BEFORE and AutonomousAgent 儀器 TimeInterval_BEFORE and WebSite 期間 TimeInterval_BEFORE and TimeInterval 等於 new sellers 在 WebSite 期間 TimeInterval and Collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8396-8406	例 TimeInterval and TimeInterval 例 TimeInterval and TimeInterval 等於開始 TimeInterval and 開始 TimeInterval 等於結束 TimeInterval and 結束 TimeInterval 等於 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8284-8289	例 TimePosition and TimeInterval 時間部分 TimePosition and TimeInterval 時間部分 TimePosition and TimeInterval 暫時重疊 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 454-470	例 Process and MeasuringBreathing agent Process and AutonomousAgent 例 Object and 肺部分 Object and Object 例 TimeInterval and TimeInterval 期間 TimeInterval and 何時 Process 持續時間 TimeInterval and 分鐘患者 Process and Object 持有期間眼前的未來何時 Process and entity 知道 AutonomousAgent and breathingRate Object, TimeInterval and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8462-8470	例 TimePoint and TimePoint 例 TimePoint and TimePoint 例 TimeInterval and TimeInterval 等於時間間隔 TimePoint and TimePoint and TimeInterval 等於開始 TimeInterval and TimePoint 等於結束 TimeInterval and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8472-8481	例 TimePoint and TimePoint 例 TimePoint and TimePoint 例 TimeInterval and TimeInterval 等於時間間隔 TimePoint and TimePoint and TimeInterval TimePoint 暫時之間或等於 TimePoint, TimePoint and TimePoint 時間部分 TimePoint and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	例 TimeInterval and TimeInterval_CLASS 子類 TimeInterval_CLASS and Process 例 AccessingWebPage and AccessingWebPage 例 AutonomousAgent and AutonomousAgent agent TimeInterval and AutonomousAgent agent AccessingWebPage and AutonomousAgent 期間 TimeInterval and AccessingWebPage 例 Physical and TimeInterval TimeInterval 例 TimeInterval and TimeInterval_CLASS agent TimeInterval and AutonomousAgent 期間 TimeInterval and AccessingWebPage 之前開始何時 TimeInterval and 開始何時 TimeInterval 等於開始何時 AccessingWebPage and 開始何時 Physical 等於開始何時 TimeInterval and 結束何時 Physical 等於 AccessingWebPage 的 time 在類別 TimeInterval_CLASS and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8304-8309	例 TimeInterval and TimeInterval 等於 TimePoint and 開始 TimeInterval 等於 TimePoint and 結束 TimeInterval 之前 TimePoint and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8311-8321	例 TimeInterval and TimeInterval 例 TimeInterval and TimeInterval 之前或相等開始 TimeInterval and 開始 TimeInterval 之前開始 TimeInterval and 結束 TimeInterval 暫時重疊 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 440-447	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 低收入國家是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是對於 TimeInterval 在週期測量 RealNumber and 美國美元的 per 人頭 GDP 少於 RealNumber and 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 456-463	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 中低收入國家是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是對於 TimeInterval 在週期測量 RealNumber and 美國美元的 per 人頭 GDP 大於或等於 RealNumber and 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 465-472	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 中低收入國家是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是對於 TimeInterval 在週期測量 RealNumber and 美國美元的 per 人頭 GDP 少於 RealNumber and 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 481-488	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 中上收入國家是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是對於 TimeInterval 在週期測量 RealNumber and 美國美元的 per 人頭 GDP 大於或等於 RealNumber and 2996.0

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	持有期間 TimeInterval and attribute entity and 平民流離失所棲息 entity and entity 位於 entity and GeographicArea 例 GeographicArea and GeographicArea 例 TimeInterval and TimeInterval TimeInterval entity_PLACE and entity_RES 例 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 例 entity_RES and Object 例 entity_PLACE and GeopoliticalArea 位於 entity_RES and entity_PLACE 等於 GeographicArea and entity_PLACE 等於 entity and entity_RES GeographicArea 是 entity_PLACE 的 geographic 次要地區 entity_PLACE 是 GeographicArea 的 geographic 次要地區持有期間 TimeInterval and 棲息 entity and entity_RES
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	例 TimeInterval and AddToCart 例 Entity and Object 患者 TimeInterval and Entity agent TimeInterval and AutonomousAgent Collection WebSite, TimePosition and TimeInterval 例 Collection and Collection 例 WebSite and WebSite 例 TimeInterval and TimeInterval 使用者 AutonomousAgent 在 WebSite 有 cart Collection 等於開始 TimeInterval and 結束 TimeInterval 持有期間 TimePosition and 會員 Entity and Collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 636-654	例 Process and FlashingLight 起源 Process and Object Process TimeInterval and Process 例 Process and RadiatingLight 例 TimeInterval and TimeInterval 例 Process and RadiatingLight 短暫相遇何時 Process and TimeInterval 短暫相遇 TimeInterval and 何時 Process Process 例 Process and RadiatingLight 起源 Process and Object 期間何時 Process and TimeInterval 子過程 Process and Process 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24627-24640	例 Confining and 監禁 Animal 是 Confining 的拘留者例 Animal and Human 時間 Confining and TimeInterval 例 TimeInterval and TimeInterval 被捕 TimeInterval 例 TimeInterval and TimeInterval 時間被捕 and TimeInterval 早期 TimeInterval and TimeInterval 例被捕 and 被捕被捕被捕 and Animal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection AutonomousAgent 會員 AutonomousAgent and Collection TimeInterval 例 AutonomousAgent and AutonomousAgent 例 TimeInterval and Buying agent TimeInterval and AutonomousAgent 儀器 TimeInterval and WebSite 期間 TimeInterval and TimeInterval TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and TimeInterval_BEFORE 例 TimeInterval_BEFORE and Buying agent TimeInterval_BEFORE and AutonomousAgent 儀器 TimeInterval_BEFORE and WebSite 期間 TimeInterval_BEFORE and TimeInterval 等於 new buyers 在 WebSite 其間 TimeInterval and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection Physical 例 Physical and Human TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and Physical 是 WebSite 的 registered user TimeInterval_DURING 例 TimeInterval_DURING and TimeInterval 期間 TimeInterval_DURING and TimeInterval 持有期間 TimeInterval and Physical 是 WebSite 的 registered user 會員 Physical and Collection 等於 Collection and new registrations 在 WebSite 期間 TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection AutonomousAgent 會員 AutonomousAgent and Collection TimeInterval 例 AutonomousAgent and AutonomousAgent 例 TimeInterval and Selling agent TimeInterval and AutonomousAgent 儀器 TimeInterval and WebSite 期間 TimeInterval and TimeInterval TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and TimeInterval_BEFORE 例 TimeInterval_BEFORE and Selling agent TimeInterval_BEFORE and AutonomousAgent 儀器 TimeInterval_BEFORE and WebSite 期間 TimeInterval_BEFORE and TimeInterval 等於 new sellers 在 WebSite 期間 TimeInterval and Collection
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1911-1915	例 List and ConsecutiveTimeIntervalList 在列表中 Entity and List 例 Entity and TimeInterval
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	例 Collection and Organization attribute Collection and 倉儲和儲存 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent Entity 例 AutonomousAgent and Selling 例 Entity and Object 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity 例 entity and TimeInterval 例 entity and Building 擁有 CognitiveAgent and Entity 持有期間 entity and 位於 entity and Entity, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19239-19273	例 Object and 鋸例 Process and Cutting 儀器 Process and Object 例 Object and Object 患者 Process and Object Process Entity, Entity, TimeInterval, TimePosition, TimePosition and Object 例 Process and Motion 子過程 Process and Process 例 Object and 切割裝置部分 Object and Object 空間的符合 Object and Object 患者 Process and Object 例 TimePosition and TimeInterval 例 TimePosition and TimeInterval 等於何時 Process and TimeInterval 時間部分 TimeInterval and TimePosition 時間部分 TimeInterval and TimePosition 例 Entity and DirectionalAttribute 例 Entity and DirectionalAttribute 持有期間 TimePosition and 方向 Process and Entity 持有期間 TimePosition and 方向 Process and Entity 等於 Entity and Entity Entity 是 Entity 的 opposite 方向 ~{ 等於 Entity and Entity } ~{ Entity 是 Entity 的 opposite 方向 }
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1605-1621	例 TimeInterval and WatchItem 例 Entity and Object 患者 TimeInterval and Entity agent TimeInterval and AutonomousAgent Collection WebSite, TimePosition and TimeInterval 例 Collection and Collection 例 WebSite and WebSite 例 TimeInterval and TimeInterval 使用者 AutonomousAgent 在 WebSite 是 watching Collection 等於開始 TimeInterval and 結束 TimeInterval 持有期間 TimePosition and 會員 Entity and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3629-3638	Collection 的成員有 registered 對於 WebSite 在期間 TimeInterval 會員 Physical and Collection TimeInterval 例 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval 持有期間 TimeInterval and Physical 是 WebSite 的 registered user
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3640-3650	Collection 的成員有 registered 對於 WebSite 在期間 TimeInterval 會員 Physical and Collection TimeInterval 例 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 持有期間 TimeInterval and Physical 是 WebSite 的 registered user
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2822-2834	屬性協議 and 歐式風格的選擇協議有 expiration TimePoint TimeInterval TimeInterval and Physical 例 TimeInterval and TimeInterval 等於結束 TimeInterval and TimePoint 例 Physical and 執行一個選項等於何時 Physical and TimeInterval 時間部分 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	Physical 由 CognitiveAgent 定的 price 根據 PricingScheme 是 FunctionQuantity 等於 FunctionQuantity and 測量 RealNumber and UnitOfMeasure 是 CurrencyMeasure 的 per 例 UnitOfMeasure and UnitOfDuration 立即實例 Entity and Physical 例 Process and 租患者 Process and Entity agent Process and AutonomousAgent 時間 Process and RealNumberINT TimeInterval RealNumber 期間 RealNumberINT and TimeInterval 例 TimeInterval and TimeInterval 持續時間 TimeInterval and 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber FinancialTransaction 例 FinancialTransaction and 付款目的地 FinancialTransaction and CognitiveAgent agent FinancialTransaction and AutonomousAgent CurrencyMeasure 是 FinancialTransaction 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14450-14456	持有期間 TimePosition and 棲息 entity and entity TimePosition 例 TimePosition and TimeInterval 時間部分 TimePosition and TimePosition 持有期間 TimePosition and 位於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23448-23460	例 Physical and 護航 Entity Entity and TimePosition 等於 Entity and Entity 例 Entity and 車輛例 Entity and 車輛例 TimePosition and TimeInterval 時間部分 TimePosition and 何時 Physical 持有期間 TimePosition and 會員 Entity and Physical 會員 Entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18412-18434	例 Process and Disappearing Entity AutonomousAgent, Process and TimePosition 例 Process and Searching 早期何時 Process and 何時 Process agent Process and AutonomousAgent 例 Entity and Object 患者 Process and Entity 患者 Process and Entity 例 TimePosition and TimeInterval 時間部分 TimePosition and 何時 Process 持有期間 TimePosition and 模態屬性 ProcessISC 例 ProcessISC and 發現 agent ProcessISC and AutonomousAgent 患者 ProcessISC and Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 266-286	例 TimeInterval and ListOnSite Object Entity, TimeInterval, TimeInterval and AutonomousAgent 例 Object and WebSite 例 Entity and WebListing 例 TimeInterval and TimeInterval 例 TimeInterval and TimeInterval 患者 TimeInterval and Entity 等於結束 TimeInterval and 結束 TimeInterval 早期 TimeInterval and TimeInterval 短暫相遇 TimeInterval and TimeInterval 持有期間 TimeInterval and Entity 是在 Object hosted 持有期間 TimeInterval and Entity 是在 Object hosted agent TimeInterval and AutonomousAgent 擁有 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7982-7987	例 TimePosition and TimePoint TimePosition 例 TimePosition and TimeInterval 時間部分 TimePosition and TimePosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8387-8394	短暫相遇 TimeInterval and TimeInterval TimePosition 例 TimePosition and TimeInterval 時間部分 TimePosition and TimeInterval 時間部分 TimePosition and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8276-8282	暫時重疊 TimeInterval and TimeInterval TimePosition 例 TimePosition and TimeInterval 時間部分 TimePosition and TimeInterval 時間部分 TimePosition and TimeInterval

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

持有期間 TimeInterval and 會員 entity and TwelveApostles
持有期間 TimeInterval and entity 是 JesusOfNazareth 的 friend

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: