during - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2720-2721
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8312-8313
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1444-1445
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8309-8309	域期間, 1 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8310-8310	域期間, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8306-8306	例期間 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8307-8307	例期間 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8305-8305	例期間 and TransitiveRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 433-433
No TPTP formula. May not be expressible in strict first order.	english_format.kif 439-439
No TPTP formula. May not be expressible in strict first order.	french_format.kif 251-251
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 86-86
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2045-2045
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 203-203
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 257-257
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 565-565
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 126-126
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 272-272
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 275-275
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 120-120
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 434-434
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20694-20694
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20693-20693
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20692-20692
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 188-188

antecedent

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 809-825	dampingRatio 物理系統 and RealNumber 比較多 RealNumber and 0 例 TimeInterval and 震患者 TimeInterval and 物理系統例 Entity and UnitOfLength 持有期間 TimeInterval and physicalAmplitude TimeInterval and 測量 RealNumber and Entity 持有期間 TimeInterval and physicalAmplitude TimeInterval and 測量 RealNumber and Entity 期間 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 比較多 RealNumber and RealNumber
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.	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.	Media.kif 437-444	例 TimeInterval and EasterSunday 例 TimeInterval and Lent 短暫相遇 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval 例 TimeInterval and 年期間 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Media.kif 446-453	例 TimeInterval and EasterSunday 例 TimeInterval and Lent 短暫相遇 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval 例 TimeInterval and 年期間 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8922-8929	例 TimeInterval and Evening 例 TimeInterval and 下午例 TimeInterval and Day 期間 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	例 AutonomousAgent and 人 attribute AutonomousAgent and mausaharati 例 Process and 鼓聲 agent Process and AutonomousAgent 例 ProcessAY and Day 例 TimeInterval and 日出期間 TimeInterval and ProcessAY 早期何時 Process and TimeInterval 有目的 Process and entity TimeIntervalUHUR and entity 例 entity and 起來體驗者 entity and entity 例 TimeIntervalUHUR and 封齋飯 agent TimeIntervalUHUR and entity 早期何時 entity and 何時 TimeIntervalUHUR 期間何時 entity and ProcessAY 期間何時 TimeIntervalUHUR and ProcessAY
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 466-482	例 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.	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.	Medicine.kif 5997-6017	例 TimeInterval and TimePeriod 持續時間 TimeInterval and 測量 RealNumber and 分鐘比較多 RealNumber and 5.0 例 Entity and Human Process 例 Process and Breathing 期間何時 Process and TimeInterval 患者 Process and Entity 模態屬性 entity 例 entity and Death 體驗者 entity and Entity 短暫相遇 TimeInterval and 何時 entity and 容易
No TPTP formula. May not be expressible in strict first order.	Media.kif 387-394	例 TimeInterval and Advent 例 TimeInterval and ChristmasDay 期間 TimeInterval and TimeInterval 例 TimeInterval and 年短暫相遇 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Media.kif 396-403	例 TimeInterval and Advent 例 TimeInterval and ChristmasDay 期間 TimeInterval and TimeInterval 例 TimeInterval and 年短暫相遇 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	例 Collection and Collection 例 Collection and Collection 子集合 Collection and Collection Physical 會員 Physical and Collection 例 Physical and AccessingWebPage Process AutonomousAgent, Process, Process and Object 例 AutonomousAgent and Human 例 Process and Buying 例 Process and AccessingWebPage 例 Object and WebPage 會員 Process and Collection 目的地 Process and Object agent Process and AutonomousAgent agent Process and AutonomousAgent 期間何時 Process and 何時 Process 儀器 Process and Object 會員 Process and Collection TimeInterval entity_IN_INTERVAL and entity_IN_INTERVAL 等於 purchases 花在 Collection 期間 TimeInterval and 部基數卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間何時 entity_IN_INTERVAL and TimeInterval and 基數卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間何時 entity_IN_INTERVAL and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Media.kif 538-547	例 TimeInterval and 年例 TimeInterval and EasterSunday 例 TimeInterval and AscensionThursday 期間 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval 啟動 TimeInterval and TimeInterval 飾面 TimeInterval and TimeInterval 持續時間 TimeInterval and 測量 40 and 一天長度
No TPTP formula. May not be expressible in strict first order.	Media.kif 473-482	例 TimeInterval and 年例 TimeInterval and EasterSunday 例 TimeInterval and PalmSunday 期間 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval 啟動 TimeInterval and TimeInterval 飾面 TimeInterval and TimeInterval 持續時間 TimeInterval and 測量 8 and 一天長度
No TPTP formula. May not be expressible in strict first order.	Media.kif 559-568	例 TimeInterval and 年例 TimeInterval and EasterSunday 例 TimeInterval and Pentecost 期間 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval 啟動 TimeInterval and TimeInterval 飾面 TimeInterval and TimeInterval 持續時間 TimeInterval and 測量 50 and 一天長度
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1758-1780	muscleInsertion Muscle and BodyPart 例 Object and Human 持有期間 TimeInterval and attribute Object and StandardAnatomicalPosition attribute Object and Healthy 例 TimeInterval and MuscularContraction 期間何時 TimeInterval and TimeInterval 例 Object and Muscle 部分 Object and Object 儀器 TimeInterval and Object physicalEnd Object and Object 空間的符合 Object and Object 持有期間開始 TimeInterval and 位於 Object and entity 持有期間結束 TimeInterval and 位於 Object and entity
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	muscleOrigin Muscle and BodyPart 例 Object and Human 持有期間 TimeInterval and attribute Object and StandardAnatomicalPosition attribute Object and Healthy 例 TimeInterval and MuscularContraction 期間何時 TimeInterval and TimeInterval 例 Object and Muscle 部分 Object and Object 儀器 TimeInterval and Object physicalEnd Object and Object 空間的符合 Object and Object 持有期間開始 TimeInterval and 位於 Object and entity 持有期間結束 TimeInterval and 位於 Object and entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2728-2748	visibility 在 Region 期間 TimeInterval 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 例 TimeInterval and 一天的時間例 Process and 看著例 Object and Object Object 是黑色的 color agent Process and AutonomousAgent 患者 Process and Object 方位 AutonomousAgent, Object and 橫 Process 是 located 在 Region 期間何時 Process and TimeInterval 例 Object and Object RealNumber 距離 AutonomousAgent, Object and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2750-2771	visibility 在 Region 期間 TimeInterval 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 例 TimeInterval and 晚上的時間例 Process and 看著例 Object and Region attribute Object and 發光的測量 Object and 測量 1000.0 and 坎德拉 agent Process and AutonomousAgent 患者 Process and Object 方位 AutonomousAgent, Object and 橫 Process 是 located 在 Region 期間何時 Process and TimeInterval 例 Object and Object RealNumber 距離 AutonomousAgent, Object and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8315-8319	期間 TimeInterval and TimeInterval 之前結束 TimeInterval and 結束 TimeInterval 之前開始 TimeInterval and 開始 TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8258-8260	期間 TimeInterval and TimeInterval 時間部分 TimeInterval and TimeInterval

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.	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.	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.	UXExperimentalTerms.kif 3534-3543	Collection 是在 WebSite 的 first time buyers 在其間 TimeInterval 會員 AutonomousAgent and Collection FinancialTransaction 例 FinancialTransaction and Buying agent FinancialTransaction and AutonomousAgent WebSite facilitates FinancialTransaction 期間何時 FinancialTransaction and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3582-3591	Collection 是在 WebSite 的 first time sellers 在其間 TimeInterval 會員 AutonomousAgent and Collection FinancialTransaction 例 FinancialTransaction and Selling agent FinancialTransaction and AutonomousAgent WebSite facilitates FinancialTransaction 期間何時 FinancialTransaction and TimeInterval
No TPTP formula. May not be expressible in strict first order.	emotion.kif 161-172	持有期間 TimePosition and attribute entity and EmotionalState actionTendency EmotionalState and EmotionalBehavioralProcess 模態屬性 entity 例 entity and EmotionalBehavioralProcess 期間何時 entity and TimePosition 體驗者 entity and entity and 容易
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.	Cars.kif 2567-2583	持有期間 TimePosition and 測量 Object and FunctionQuantity engineIdleSpeed 內燃機 and FunctionQuantity 例 Object and 汽車部分內燃機 and Object 部分 Object and 內燃機模態屬性 entity entity 期間 entity and TimePosition 例 entity and Pushing 目的地 entity and entity 部分 entity and Object and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30242-30253	例 AutonomousAgent and AutonomousAgent 持有期間 TimeInterval and attribute AutonomousAgent and Motionless Process 例 Process and BodyMotion 例 Process and IntentionalProcess agent Process and AutonomousAgent 期間何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10577-10593	例 Object and BodySegment 例 Object and BodySegment 連接的 Object and Object 例 Motion and BodyMotion 移動 Motion and Object 模態屬性 Motion 例 Motion and BodyMotion 移動 Motion and Object 期間何時 Motion and 何時 Motion and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8387-8400	例 AutonomousAgent and 騎兵部隊例 TimeInterval and Battle agent TimeInterval and AutonomousAgent AutonomousAgent Entity and TimeInterval attribute AutonomousAgent and 士兵會員 AutonomousAgent and AutonomousAgent 例 TimeInterval and Transportation agent TimeInterval and AutonomousAgent 例 Entity and 車輛患者 TimeInterval and Entity 期間 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8840-8845	例下午 and 下午例 Day and Day 等於下午 and Day 的 afternoon 期間下午 and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8940-8945	例 Evening and Evening 例 Day and Day 等於 Evening and Day 的 evening 期間 Evening and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8824-8829	例早上 and 早上例 Day and Day 等於早上 and Day 的 morning 期間早上 and Day
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1898-1917	例 Process and EngineCycle 例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間何時 Process and maxCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1868-1887	例 Process and EngineCycle 例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間何時 Process and minCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1943-1965	例 Process and EngineCycle 例發動機 and 內燃機例 Object and Piston 例 UnitOfMeasure and UnitOfLength 部分 Object and 發動機患者 Process and Object Process 是 located 在發動機 pistonStroke 發動機 and 測量 RealNumber and UnitOfMeasure TimeInterval TimeInterval, Physical, Physical and RealNumber 期間 TimeInterval and 何時 Process 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 位於 Object and Physical 持有期間 TimeInterval and 位於 Object and Physical 距離 Physical, Physical and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	例 Process and ExperiencingDiscomfortInTheStomach 體驗者 Process and AutonomousAgent Process ProcessAIN and Object 例 Process and Perception 期間何時 Process and 何時 ProcessAIN 例 ProcessAIN and 痛體驗者 ProcessAIN and AutonomousAgent 子過程 Process and Process agent Process and AutonomousAgent 患者 Process and Object 例 Object and 胃部分 Object and AutonomousAgent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: