WhenFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2736-2738
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8471-8474
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1462-1464
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8468-8468	域何時, 1 and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8465-8465	例何時 and TemporalRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8467-8467	例何時 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8466-8466	例何時 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8469-8469	範圍何時 and TimeInterval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 455-455
No TPTP formula. May not be expressible in strict first order.	english_format.kif 461-461
No TPTP formula. May not be expressible in strict first order.	french_format.kif 264-264
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 314-314
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2054-2054
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 216-216
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 270-270
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 595-595
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 349-349
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 285-285
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 290-290
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 506-506
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4225-4225	相關的內部概念哪裡 and 何時
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62985-62985
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 456-456
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62984-62984
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62983-62983

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	attribute AutonomousAgent and ADHD attribute AutonomousAgent and ADHD 等於 AutonomousAgent and AutonomousAgent 例 Process and Class 例 Process and Class 子類 Class and IntentionalPsychologicalProcess agent Process and AutonomousAgent agent Process and AutonomousAgent 持續時間何時 Process and TimeDuration 持續時間何時 Process and TimeDuration 模態屬性比較多 TimeDuration and TimeDuration and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 367-385	breathingRate AutonomousAgent, TimeInterval and Integer 例 TimeInterval and Minute Integer 例 Integer and RecreationOrExercise agent Integer and AutonomousAgent 期間 TimeInterval and 何時 Integer 持有期間 TimeInterval and attribute AutonomousAgent and 人類成人比較多 Integer and 16 少於 Integer and 12 持有期間 TimeInterval and attribute AutonomousAgent and Healthy
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2585-2603	engineIdleSpeed 內燃機 and RotationFn 測量 RealNumber and MilesPerHour and TimeDuration 例 Object and 汽車例 Process and GasPedal 例 Process and Pushing 目的地 Process and Object 部分內燃機 and Object 部分 Object and Object 例 Object and Crankshaft 部分 Object and 內燃機持有期間何時 Process and 測量 Object and RotationFn 測量 entity and MilesPerHour and TimeDuration 模態屬性比較多 entity and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22920-22925	等於 TimePoint and 開始何時 Process 等於 TimePoint and 結束何時 AutonomousAgent 好處 Process and AutonomousAgent 之前 TimePoint and TimePoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29595-29604	等於 TimePoint and 開始何時 Process 等於 TimePoint and 結束何時 AutonomousAgent AutonomousAgent suffers 從 Process 之前 TimePoint and TimePoint
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6470-6482	持有期間 TimeInterval and attribute AutonomousAgent and AVPUPainStatus 例 Process and 痛期間何時 Process and TimeInterval 體驗者 Process and AutonomousAgent Process 例 Process and BodyMotion 體驗者 Process and AutonomousAgent 期間何時 Process and TimeInterval 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6447-6459	持有期間 TimeInterval and attribute AutonomousAgent and AVPUVerbalStatus 例 Process and 說話目的地 Process and AutonomousAgent 期間何時 Process and TimeInterval Process 例 Process and IntentionalProcess agent Process and AutonomousAgent 期間何時 Process and TimeInterval 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1500-1512	持有期間 TimeInterval and attribute AutonomousAgent and ChronicFatigueSyndrome 例 Process and RecreationOrExercise agent Process and AutonomousAgent 期間何時 Process and TimeInterval 模態屬性持有期間 TimeInterval and attribute AutonomousAgent and PostExertionalMalaise 早期何時 Process and TimeInterval and 容易
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3231-3245	持有期間 Physical and attribute EngineeringComponent and 啟動中持有期間 Physical and attribute EngineeringComponent and 準備好主持等於 Physical and 眼前的未來何時 Physical 例 EngineeringComponent and ComputerDisplay 連接的工程組件 EngineeringComponent and EngineeringComponent 模態屬性 entity 例 entity and 主頁面 entity 是在 EngineeringComponent displayed and 容易
No TPTP formula. May not be expressible in strict first order.	Law.kif 480-489	持有期間 TimeInterval and 慾望 AutonomousAgent and attribute Entity and 死例 AutonomousAgentURDER and 謀殺 agent AutonomousAgentURDER and AutonomousAgent 患者 AutonomousAgentURDER and Entity 早期 TimeInterval and 何時 AutonomousAgentURDER attribute AutonomousAgentURDER and Premeditated
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30662-30683	持有期間 TimeInterval and attribute AutonomousAgent and Dieting 持有期間 TimeInterval and attribute AutonomousAgent and Dieting 例 Object and Meal 例 Process and Eating agent Process and AutonomousAgent 資源 Process and Object 期間何時 Process and TimeInterval 測量 Object and 測量 RealNumber and 卡路里例 Object and Meal 例 Process and Eating agent Process and AutonomousAgent 資源 Process and Object 期間何時 Process and TimeInterval 測量 Object and 測量 RealNumber and 卡路里模態屬性比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18203-18209	持有期間 TimeInterval and attribute AutonomousAgent and 胚胎例 Process and Birth 等於 TimeInterval and 何時 Process 體驗者 Process and AutonomousAgent 暫時重疊 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18181-18187	持有期間 TimeInterval and attribute AutonomousAgent and 幼蟲例 Process and Birth 等於 TimeInterval and 何時 Process 體驗者 Process and AutonomousAgent 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17193-17203	例 Process and 加速等於 TimeInterval and 何時 Process 體驗者 Process and AutonomousAgent Process 例 Process and 減速體驗者 Process and AutonomousAgent 等於 TimeInterval and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 501-514	例 Process and 走動子過程 Process and Process 例 Process and 步進子過程 Process and Process 例 Process and 步進等於 ProcessSTART and 開始何時 Process 等於 ProcessSTART and 開始何時 Process 之前 ProcessSTART and ProcessSTART 之前 ProcessSTART and ProcessSTART 等於 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9839-9861	例 Object and Antacid 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃部分 Object and AutonomousAgent 持有期間不久的過去何時 Motion and 包含 Object and Object 例 Object and 流體持有期間眼前的未來何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12383-12397	例 Process and Attaching 患者 Process and Entity 患者 Process and Entity 持有期間開始何時 Process and 連接的 Entity and Entity 持有期間結束何時 Process and 連接的 Entity and Entity objectAttached Process and Entity objectAttached Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9900-9922	例 Object and ProtonPumpInhibitor 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃部分 Object and AutonomousAgent 持有期間不久的過去何時 Motion and 包含 Object and Object 例 Object and 流體持有期間眼前的未來何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
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.	Mid-level-ontology.kif 487-499	例 Process and 走動等於 TimeInterval and 何時 Process Process Process 例 Process and 步進例 Process and 步進子過程 Process and Process 子過程 Process and Process 啟動何時 Process and TimeInterval 飾面何時 Process and TimeInterval 等於 Process and Process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 89-103	例 Process and 武裝偵察 agent Process and CognitiveAgent 患者 Process and Entity 持有期間何時 Process and enemy CognitiveAgent and Entity 賦予權利 entity 例 entity and 攻擊 agent entity and CognitiveAgent 患者 entity and Entity, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 665-671	例 Process and 防表面操作患者 Process and Entity 持有期間何時 Process and 位於 Entity and Entity 例 Entity and WaterArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13839	例 Process and Boiling 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Entity and PureSubstance 患者 Process and Entity 持有期間何時 Process and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	例 Process and CheckingVitals agent Process and CognitiveAgent 患者 Process and Object 例心 and 心部分心 and Object 例肺 and 肺部分肺 and Object 持有期間何時 Process and systolicBloodPressure Object and entity diastolicBloodPressure Object and entity 測量 Object and 測量 entity and 華氏度 heartRate 心, 何時 Process and Integer breathingRate 肺, 何時 Process and Integer 知道 CognitiveAgent and 持有期間何時 Process and systolicBloodPressure Object and entity diastolicBloodPressure Object and entity 測量 Object and 測量 entity and 華氏度 heartRate 心, 何時 Process and Integer breathingRate 肺, 何時 Process and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11647-11654	例 Process and ChangeOfPossession 患者 Process and Entity 持有期間開始何時 Process and 擁有 entity and Entity 持有期間結束何時 Process and 擁有 entity and Entity 等於 entity and entity

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.	Merge.kif 12466-12473	例 Process and Combining 資源 Process and Object 結果 Process and Entity 持有期間開始何時 Process and 部分 Object and Entity 持有期間結束何時 Process and 部分 Object and Entity
No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	例年 and 年年EAR 等於 GeopoliticalArea 和年的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 男期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千的 births and RealNumber 等於部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千裡的 deaths and RealNumber 等於部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千個生存出生裡的 deaths and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and 1000 and RealNumber 等於 entityDEATHCOUNT and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 年齡 entity and 測量 entity and 年持續時間少於 entity and 1 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 entityDEATHCOUNT and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	例年 and 年 Integer 等於 GeopoliticalArea 和年的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 女期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	例年 and 年 Integer 等於 GeopoliticalArea 和年的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human 期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
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.	Mid-level-ontology.kif 968-975	Integer 是 Organization 的 year 資金 Process IntegerEAR 暫時重疊何時 Process and IntegerEAR 例 IntegerEAR and 年 Integer 例 Process and 創建結果 Process and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16852-16861	Human 的 almaMater 是中學後 Process 例 Process and EducationalProcess 目的地 Process and Human Process 是 located 在中學後持有期間何時 Process and attribute Human and 學生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20760-20767	actedIn Human and 內容承載物理例 Process and 戲劇表演患者 Process and Human 結果 Process and 內容承載物理持有期間何時 Process and attribute Human and Actor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18837-18843	agent Process and AutonomousAgent 結果 Process and Entity 例 Entity and ArtWork 持有期間何時 Process and attribute AutonomousAgent and Artist
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	allergic Human and Substance 例 SubstanceUB and Substance 持有期間 TimePosition and 空間的符合 SubstanceUB and Human 模態屬性 entity 例 entity and AllergicReaction 體驗者 entity and Human 暫時重疊 TimePosition and 何時 entity 之前開始 TimePosition and 開始何時 entity and 容易
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4373-4382	attribute 用戶帳號 and TwoFactorAuthentication loggedInDuring AutonomousAgent, 用戶帳號 and TimeInterval TimeIntervalF 例 TimeIntervalF and TwoFactorLoggingIn agent TimeIntervalF and AutonomousAgent accountUsed TimeIntervalF and 用戶帳號早期何時 TimeIntervalF and TimeInterval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	attribute AutonomousAgent and 穆斯林等於財富 AutonomousAgent and CurrencyMeasure 模態屬性 entity entity, entity, entity and entity 例 entity and 天課例 entity and 年期間 entity and 何時 AutonomousAgent 持有期間 entity and attribute AutonomousAgent and 完全成型 agent entity and AutonomousAgent 患者 entity and entity 貨幣價值 entity and 測量 entity and entity 例 entity and UnitOfCurrency 比較多 entity and 乘法 CurrencyMeasure and 0.025 and 義務
No TPTP formula. May not be expressible in strict first order.	Music.kif 457-470	attribute 音樂錄音 and CoverRecording 例音樂錄音 and 音樂錄音 CognitiveAgent 是 performer 在音樂錄音音樂錄音是 Music 的 recording 音樂錄音是個 MusicM 的 record 音樂錄音 CognitiveAgentRTIST and MusicUSIC 音樂錄音是 Music 的 recording CognitiveAgentRTIST 是 performer 在音樂錄音等於 CognitiveAgent and CognitiveAgentRTIST 音樂錄音是個 MusicUSIC 的 record 之前何時 MusicUSIC and 何時 MusicM
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2881-2897	attribute 協議 and FOK訂單 TimeInterval 是協議的 agreement 週期 Process TimeInterval 例 Process and 填寫訂單患者 Process and 協議等於何時 Process and TimeInterval 啟動 TimeInterval and TimeInterval Process TimeInterval 例 Process and 取消訂單患者 Process and 協議等於何時 Process and TimeInterval 啟動 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2917-2933	attribute 協議 and GTC訂單 TimeInterval 是協議的 agreement 週期 Process TimeInterval 例 Process and 填寫訂單患者 Process and 協議等於何時 Process and TimeInterval 暫時重疊 TimeInterval and TimeInterval Process TimeInterval 例 Process and 取消訂單患者 Process and 協議等於何時 Process and TimeInterval 飾面 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2854-2870	attribute 協議 and 國際奧委會訂單 TimeInterval 是協議的 agreement 週期 Process TimeInterval 例 Process and 填寫訂單患者 Process and 協議等於何時 Process and TimeInterval 啟動 TimeInterval and TimeInterval Process TimeInterval 例 Process and 取消訂單患者 Process and 協議等於何時 Process and TimeInterval 啟動 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Buying 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格例 UnitOfMeasure and UnitOfCurrency AutonomousAgent 為了安全 asks 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 AutonomousAgent and SymbolicStringingTime and 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Selling 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格 AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於安全例 UnitOfMeasure and UnitOfCurrency 大於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 SymbolicStringingTime and AutonomousAgent and 協議
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	attribute Object and CommunalAttribute 例 Object and 表例 Process and Eating agent Process and AutonomousAgent 例 AutonomousAgent and 一群人 Process 是 located 在 Object 模態屬性 entity entity and Object2 例 entity and Eating agent entity and entity 等於 AutonomousAgent and entity 例 entity and 一群人 entity 是 located 在 Object2 短暫相遇何時 Process and 何時 entity 等於 Object and Object2 and 可能性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13841-13854	測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Entity and PureSubstance 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 大於或等於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 加油站 Process 暫時重疊何時 Process and TimeInterval 例 Process and Boiling 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 684-695	其必須在 TimePoint 之前在 CognitiveAgent check out CognitiveAgent 是在 CognitiveAgent 的 guest CognitiveAgent expects entity entity 例 entity and TimePoint 患者 entity and CognitiveAgent 例 entity and CheckOutService agent entity and CognitiveAgent 之前開始何時 entity and entity 會是事實

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18202-18219	降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO 例 ?X and PaperShredder 例 ?CUT and Cutting 儀器 ?CUT and ?X 例 ?PAPER and 紙患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER 例 ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ 例 ?READ and 解讀患者 ?READ and ?INFO 早期何時 ?CUT and 何時 ?READ
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
No TPTP formula. May not be expressible in strict first order.	Media.kif 1920-1920	持有期間何時 JesusOfNazareth and 位於 JesusOfNazareth and 巴勒斯坦

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: