eventLocated - Sigma Knowledge base Browser

appearance as argument number 1

(documentation eventLocated ChineseLanguage "(eventLocated ?PROC ?OBJ) 的意思是整个 Process ?PROC 是位于 Object ?OBJ，也就是说所有 ?PROC 的 subProcess 是位于 ?OBJ。")	chinese_format.kif 2115-2116
(documentation eventLocated EnglishLanguage "(eventLocated ?PROC ?OBJ) means that the entire Process ?PROC is located on Object ?OBJ, meaning that all subProcess of ?PROC is located on ?OBJ.")	Merge.kif 4129-4131
(documentation eventLocated JapaneseLanguage "(eventLocated ?PROC ?OBJ) とは、Process ?PROC 全体が Object ?OBJ 上に配置され、?PROC のすべての subProcess が ?OBJ上に配置されることを意味する。")	japanese_format.kif 767-769
(domain eventLocated 1 Process)	Merge.kif 4124-4124	域 eventLocated, 1 and Process
(domain eventLocated 2 Object)	Merge.kif 4125-4125	域 eventLocated, 2 and Object
(instance eventLocated CaseRole)	Merge.kif 4126-4126	例 eventLocated and CaseRole
(instance eventLocated TotalValuedRelation)	Merge.kif 4127-4127	例 eventLocated and TotalValuedRelation
(subrelation eventLocated eventPartlyLocated)	Merge.kif 4123-4123	子關係 eventLocated and eventPartlyLocated

appearance as argument number 2

(format ChineseLanguage eventLocated "%1 是 located 在 %2 ")	domainEnglishFormat.kif 3324-3324
(format ChineseTraditionalLanguage eventLocated "%1 是 located 在 %2 ")	domainEnglishFormat.kif 3323-3323
(format EnglishLanguage eventLocated "%1 is located at %2")	domainEnglishFormat.kif 3322-3322
(termFormat EnglishLanguage eventLocated "event located")	english_format.kif 1845-1845

antecedent

(=> (and (attribute ?X CommunalAttribute) (instance ?X Table) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople) (eventLocated ?E1 ?X)) (modalAttribute (exists (?GRP2 ?E2 ?X2) (and (instance ?E2 Eating) (agent ?E2 ?GRP2) (not (equal ?GRP1 ?GRP2)) (instance ?GRP2 GroupOfPeople) (eventLocated ?E2 ?X2) (meetsTemporally (WhenFn ?E1) (WhenFn ?E2)) (equal ?X ?X2))) Possibility))	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 可能性
(=> (and (instance ?AREA GeographicArea) (instance ?BLOW VolcanicEruption) (eventLocated ?BLOW ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 1853-1858	例 Object and GeographicArea 例 Process and 火山爆發 Process 是 located 在 Object attribute Object and 地質穩定
(=> (and (instance ?AREA GeographicArea) (instance ?SHAKING EarthTremor) (eventLocated ?SHAKING ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 1860-1865	例 Object and GeographicArea 例 Process and 地震 Process 是 located 在 Object attribute Object and 地質穩定
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (lessThan ?FRACTION 0.3))	Weather.kif 876-882	例 Region and GeographicArea 例 Process and 天氣晴朗 Process 是 located 在 Region NonnegativeRealNumber Region 少於 NonnegativeRealNumber and 0.3
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (lessThan ?FRACTION 0.3))))	Weather.kif 866-874	例 Region and GeographicArea 例 Process and 天氣晴朗 Process 是 located 在 Region NonnegativeRealNumber NonnegativeRealNumber Region 少於 NonnegativeRealNumber and 0.3
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER OvercastWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (greaterThan ?FRACTION 0.7))	Weather.kif 927-933	例 Region and GeographicArea 例 Process and 陰雲密布的天氣 Process 是 located 在 Region NonnegativeRealNumber Region 比較多 NonnegativeRealNumber and 0.7
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER OvercastWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (greaterThan ?FRACTION 0.7))))	Weather.kif 917-925	例 Region and GeographicArea 例 Process and 陰雲密布的天氣 Process 是 located 在 Region NonnegativeRealNumber NonnegativeRealNumber Region 比較多 NonnegativeRealNumber and 0.7
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER PartlyCloudyWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (and (greaterThanOrEqualTo ?FRACTION 0.3) (lessThanOrEqualTo ?FRACTION 0.7)))	Weather.kif 901-909	例 Region and GeographicArea 例 Process and 部分多雲的天氣 Process 是 located 在 Region NonnegativeRealNumber Region 大於或等於 NonnegativeRealNumber and 0.3 小於或等於 NonnegativeRealNumber and 0.7
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER PartlyCloudyWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0.3) (lessThanOrEqualTo ?FRACTION 0.7))))	Weather.kif 890-899	例 Region and GeographicArea 例 Process and 部分多雲的天氣 Process 是 located 在 Region NonnegativeRealNumber NonnegativeRealNumber Region 大於或等於 NonnegativeRealNumber and 0.3 小於或等於 NonnegativeRealNumber and 0.7
(=> (and (instance ?AS ArtSchool) (instance ?P EducationalProcess) (eventLocated ?P ?AS)) (exists (?M ?ART) (and (instance ?M Making) (patient ?M ?ART) (instance ?ART ArtWork) (refers ?P ?M))))	Mid-level-ontology.kif 18173-18183	例 Object and 藝術學校例 Process and EducationalProcess Process 是 located 在 Object Process Entity 例 Process and Making 患者 Process and Entity 例 Entity and ArtWork 參照 Process and Process
(=> (and (instance ?BP BrakePedal) (instance ?P Pushing) (instance ?V Vehicle) (destination ?P ?BP) (eventLocated ?P ?V) (part ?BP ?V)) (hasPurpose ?BP (exists (?FS ?F) (and (instance ?FS WearingFrictionSurface) (instance ?F Friction) (instrument ?F ?FS) (causes ?P ?F)))))	Cars.kif 693-707	例 Object and BrakePedal 例 Process and Pushing 例 Object and 車輛目的地 Process and Object Process 是 located 在 Object 部分 Object and Object 有目的 Object and entity entity 例 entity and WearingFrictionSurface 例 entity and 摩擦儀器 entity and entity 原因 Process and entity
(=> (and (instance ?C CateringService) (agent ?C ?AGENT) (destination ?C ?CUST) (located ?AGENT ?LOC1) (customer ?CUST ?AGENT) (exists (?S ?FOOD ?E) (and (instance ?S Cooking) (agent ?S ?AGENT) (result ?S ?FOOD) (patient ?C ?FOOD) (instance ?E Eating) (agent ?E ?CUST) (eventLocated ?E ?LOC2)))) (not (equal ?LOC1 ?LOC2)))	Dining.kif 586-602	例 Process and CateringService agent Process and AutonomousAgent 目的地 Process and ProcessUST 位於 AutonomousAgent and Object AutonomousAgent 是 ProcessUST 的 customer Process Entity and Process 例 Process and Cooking agent Process and AutonomousAgent 結果 Process and Entity 患者 Process and Entity 例 Process and Eating agent Process and ProcessUST Process 是 located 在 Object 等於 Object and Object
(=> (and (instance ?CS CyclonicStorm) (instance ?AS AirStream) (eventLocated ?CS ?AS)) (shape ?AS Cylinder))	Weather.kif 556-561	例 Process and 氣旋風暴例 Object and 氣流 Process 是 located 在 Object Object 是圓筒
(=> (and (instance ?DESERTIFICATION Desertification) (eventLocated ?DESERTIFICATION ?AREA)) (exists (?A1 ?A2) (and (instance ?A1 ArableLand) (instance ?A2 Desert) (holdsDuring (BeginFn (WhenFn ?DESERTIFICATION)) (overlapsSpatially ?AREA ?A1)) (holdsDuring (EndFn (WhenFn ?DESERTIFICATION)) (overlapsSpatially ?AREA ?A2)))))	Weather.kif 2474-2487	例 Process and 荒漠化 Process 是 located 在 Object Entity Entity 例 Entity and 耕地例 Entity and 沙漠持有期間開始何時 Process and 在空間上重疊 Object and Entity 持有期間結束何時 Process and 在空間上重疊 Object and Entity
(=> (and (instance ?DRYSPELL Drought) (eventLocated ?DRYSPELL ?AREA)) (not (exists (?RAIN ?PLACE) (and (instance ?RAIN Raining) (instance ?PLACE Region) (eventLocated ?RAIN ?PLACE) (overlapsSpatially ?PLACE ?AREA) (overlapsTemporally ?RAIN ?DRYSPELL)))))	Weather.kif 2453-2464	例 TimeInterval and 乾旱 TimeInterval 是 located 在 Object TimeInterval Object 例 TimeInterval and 下雨例 Object and Region TimeInterval 是 located 在 Object 在空間上重疊 Object and Object 暫時重疊 TimeInterval and TimeInterval
(=> (and (instance ?DUST DustStorm) (instance ?PLACE GeographicArea) (eventLocated ?DUST ?PLACE)) (holdsDuring (WhenFn ?DUST) (modalAttribute (attribute ?PLACE BadAirQuality) Likely)))	Weather.kif 2582-2590	例 Process and 塵暴例 Object and GeographicArea Process 是 located 在 Object 持有期間何時 Process and 模態屬性 attribute Object and BadAirQuality and 容易
(=> (and (instance ?E EngineCylinder) (instance ?C Crankcase) (instance ?P Piston) (instance ?T TwoStrokeTransfer) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?C)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?C))))	Cars.kif 509-521	例 Object and EngineCylinder 例 HoleRegion and Crankcase 例 Physical and Piston 例 Process and TwoStrokeTransfer 持有期間 Process and 位於 Physical and Object 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object 有目的 Physical and 持有期間 Process and 部分填補 Physical and HoleRegion
(=> (and (instance ?E EngineCylinder) (instance ?I InternalCombustionChamber) (instance ?P Piston) (instance ?T TwoStrokeIntake) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?I)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?I))))	Cars.kif 463-475	例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 例 Physical and Piston 例 Process and TwoStrokeIntake 持有期間 Process and 位於 Physical and Object 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object 有目的 Physical and 持有期間 Process and 部分填補 Physical and HoleRegion
(=> (and (instance ?EC EngineChoke) (holdsDuring ?FSC1 (attribute ?EC DeviceOn)) (holdsDuring ?FSC2 (attribute ?EC DeviceOff)) (instance ?C EngineCylinder) (capacity ?C ?M) (instance ?FSC1 FourStrokeCompression) (instance ?FSC2 FourStrokeCompression) (eventLocated ?FSC1 ?C) (eventLocated ?FSC2 ?C) (instance ?A1 Air) (instance ?F1 Fuel) (part ?A1 ?MIX1) (part ?F1 ?MIX1) (measure ?MIX1 ?M) (instance ?A2 Air) (instance ?F2 Fuel) (part ?A2 ?MIX2) (part ?F2 ?MIX2) (measure ?MIX2 ?M) (instance ?U UnitOfMeasure) (measure ?A1 (MeasureFn ?A1M ?U)) (measure ?A2 (MeasureFn ?A2M ?U)) (measure ?F1 (MeasureFn ?F1M ?U)) (measure ?F2 (MeasureFn ?F2M ?U))) (greaterThan (DivisionFn ?A2M ?F2M) (DivisionFn ?A1M ?F1M)))	Cars.kif 1314-1348	例 Entity and EngineChoke 持有期間 Process and attribute Entity and 設備上持有期間 Process and attribute Entity and 設備關閉例 SelfConnectedObject and EngineCylinder ConstantQuantity 是 SelfConnectedObject 的 capacity 例 Process and FourStrokeCompression 例 Process and FourStrokeCompression Process 是 located 在 SelfConnectedObject Process 是 located 在 SelfConnectedObject 例 Object and 空氣例 Object and 汽油部分 Object and ConstantQuantityIX1 部分 Object and ConstantQuantityIX1 測量 ConstantQuantityIX1 and ConstantQuantity 例 Object and 空氣例 Object and 汽油部分 Object and ConstantQuantityIX2 部分 Object and ConstantQuantityIX2 測量 ConstantQuantityIX2 and ConstantQuantity 例 UnitOfMeasure and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 比較多部 ObjectM and ObjectM and 部 ObjectM and ObjectM
(=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (eventLocated ?EC ?E) (instance ?U UnitOfVolume) (holdsDuring (WhenFn ?EC) (maxCylinderVolume ?E (MeasureFn ?V1 ?U)))) (not (exists (?V2 ?T) (and (during ?T (WhenFn ?EC)) (holdsDuring ?T (measure ?CC (MeasureFn ?V2 ?U))) (greaterThan ?V2 ?V1)))))	Cars.kif 1882-1901	例 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
(=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (eventLocated ?EC ?E) (instance ?U UnitOfVolume) (holdsDuring (WhenFn ?EC) (minCylinderVolume ?E (MeasureFn ?V1 ?U)))) (not (exists (?V2 ?T) (and (during ?T (WhenFn ?EC)) (holdsDuring ?T (measure ?CC (MeasureFn ?V2 ?U))) (greaterThan ?V1 ?V2)))))	Cars.kif 1852-1871	例 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
(=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?P Piston) (instance ?U UnitOfLength) (part ?P ?E) (patient ?EC ?P) (eventLocated ?EC ?E) (pistonStroke ?E (MeasureFn ?LM ?U))) (not (exists (?T1 ?T2 ?L1 ?L2 ?D) (and (during ?T1 (WhenFn ?EC)) (during ?T2 (WhenFn ?EC)) (holdsDuring ?T1 (located ?P ?L1)) (holdsDuring ?T2 (located ?P ?L2)) (distance ?L1 ?L2 (MeasureFn ?D ?U)) (greaterThan ?D ?LM)))))	Cars.kif 1927-1949	例 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
(=> (and (instance ?F Flooding) (eventLocated ?F ?P)) (exists (?L1 ?L2 ?U) (and (instance ?U UnitOfLength) (holdsDuring (BeginFn (WhenFn ?F)) (waterDepth ?P (MeasureFn ?L1 ?U))) (holdsDuring (EndFn (WhenFn ?F)) (waterDepth ?P (MeasureFn ?L2 ?U))) (greaterThan ?L2 ?L1))))	Mid-level-ontology.kif 19153-19168	例 Process and 洪水 Process 是 located 在 Object RealNumber RealNumber and Entity 例 Entity and UnitOfLength 持有期間開始何時 Process and 測量 RealNumber and Entity 是 Object 的 water 深度持有期間結束何時 Process and 測量 RealNumber and Entity 是 Object 的 water 深度比較多 RealNumber and RealNumber
(=> (and (instance ?F Flooding) (instance ?L LandArea) (eventLocated ?F ?L) (instance ?T TimePoint) (before ?T (WhenFn ?F))) (modalAttribute (holdsDuring ?T (instance ?L SubmergedLandArea)) Unlikely))	Weather.kif 1580-1590	例 Process and 洪水例 Object and LandArea Process 是 located 在 Object 例 TimePoint and TimePoint 之前 TimePoint and 何時 Process 模態屬性持有期間 TimePoint and 例 Object and 淹沒的土地面積 and 較不可能
(=> (and (instance ?F FourStrokeCombustion) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?CO) (and (instance ?CO Combustion) (subProcess ?CO ?F))))	Cars.kif 207-217	例 Process and FourStrokeCombustion 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object ObjectO 例 ObjectO and Combustion 子過程 ObjectO and Process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(=> (almaMater ?PERSON ?SCHOOL) (exists (?EV) (and (instance ?EV EducationalProcess) (destination ?EV ?PERSON) (eventLocated ?EV ?SCHOOL) (holdsDuring (WhenFn ?EV) (attribute ?PERSON Student)))))	Mid-level-ontology.kif 18259-18268	Human 的 almaMater 是中學後 Process 例 Process and EducationalProcess 目的地 Process and Human Process 是 located 在中學後持有期間何時 Process and attribute Human and 學生
(=> (and (attribute ?M StudioRecording) (instance ?M Recording)) (exists (?P ?S) (and (record ?M ?P) (eventLocated ?P ?S) (instance ?S RecordingStudio))))	Music.kif 394-402	attribute ContentBearingObject and StudioRecording 例 ContentBearingObject and Recording Process Object ContentBearingObject 是個 Process 的 record Process 是 located 在 Object 例 Object and RecordingStudio
(=> (and (attribute ?X CommunalAttribute) (instance ?X Table) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople) (eventLocated ?E1 ?X)) (modalAttribute (exists (?GRP2 ?E2 ?X2) (and (instance ?E2 Eating) (agent ?E2 ?GRP2) (not (equal ?GRP1 ?GRP2)) (instance ?GRP2 GroupOfPeople) (eventLocated ?E2 ?X2) (meetsTemporally (WhenFn ?E1) (WhenFn ?E2)) (equal ?X ?X2))) Possibility))	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 可能性
(=> (and (attribute ?X DeepSeaCoastalAndGreatLakesWaterTransportation) (instance ?X TransportationCompany)) (exists (?SERVICE ?PLACE) (and (instance ?SERVICE WaterTransportationService) (serviceProvider ?SERVICE ?X) (eventLocated ?SERVICE ?PLACE) (instance ?PLACE WaterArea) (located ?X NorthAmerica))))	naics.kif 8120-8130	attribute CognitiveAgent and 深海沿岸和大湖泊水運例 CognitiveAgent and 運輸公司服務 Object 例服務 and WaterTransportationService 服務提供者服務 and CognitiveAgent 服務是 located 在 Object 例 Object and WaterArea 位於 CognitiveAgent and 北美
(=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X))))	Mid-level-ontology.kif 28252-28260	attribute Object and Historical 例 Object and City Object 例 Object and Physical attribute Object and Historical Object 是 located 在 Object
(=> (and (attribute ?X WheelchairAccessible) (or (instance ?X Building) (instance ?X Room))) (modalAttribute (exists (?MOTION ?WHEELCHAIR) (and (instance ?MOTION Motion) (instrument ?MOTION ?WHEELCHAIR) (instance ?WHEELCHAIR Wheelchair) (eventLocated ?MOTION ?X))) Possibility))	Mid-level-ontology.kif 27816-27828	attribute Object and WheelchairAccessible 例 Object and Building 例 Object and Room 模態屬性 entity entity 例 entity and Motion 儀器 entity and entity 例 entity and Wheelchair entity 是 located 在 Object and 可能性
(=> (and (instance ?BC BoosterChair) (instance ?H HumanChild)) (hasPurposeForAgent ?BC (and (attribute ?H Sitting) (eventLocated ?H ?BC)) ?H))	Dining.kif 840-847	例 Physical and BoosterChair 例 AutonomousAgent and 人類的孩子有代理人的目的 Physical, attribute AutonomousAgent and 坐在 AutonomousAgent 是 located 在 Physical and AutonomousAgent
(=> (and (instance ?C Crankshaft) (instance ?I IntermittentCombustionEngine) (part ?I ?C)) (hasPurpose ?C (exists (?E ?R) (and (instance ?E Explosion) (instance ?R Rotating) (patient ?R ?C) (eventLocated ?R ?I) (causes ?E ?R)))))	Cars.kif 349-361	例 Object and Crankshaft 例 Object and IntermittentCombustionEngine 部分 Object and Object 有目的 Object and entity entity 例 entity and 爆炸例 entity and 旋轉患者 entity and Object entity 是 located 在 Object 原因 entity and entity
(=> (and (instance ?CRAFT WaterVehicle) (instance ?EVENT Transportation) (instrument ?EVENT ?CRAFT)) (exists (?WATER) (and (instance ?WATER WaterArea) (eventLocated ?EVENT ?WATER))))	Mid-level-ontology.kif 3960-3968	例 Object and 水車例 Process and Transportation 儀器 Process and Object Object 例 Object and WaterArea Process 是 located 在 Object
(=> (and (instance ?DRYSPELL Drought) (eventLocated ?DRYSPELL ?AREA)) (not (exists (?RAIN ?PLACE) (and (instance ?RAIN Raining) (instance ?PLACE Region) (eventLocated ?RAIN ?PLACE) (overlapsSpatially ?PLACE ?AREA) (overlapsTemporally ?RAIN ?DRYSPELL)))))	Weather.kif 2453-2464	例 TimeInterval and 乾旱 TimeInterval 是 located 在 Object TimeInterval Object 例 TimeInterval and 下雨例 Object and Region TimeInterval 是 located 在 Object 在空間上重疊 Object and Object 暫時重疊 TimeInterval and TimeInterval
(=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0) (instance ?TRANSLOCATE Translocation) (subProcess ?TRANSLOCATE ?DUSTSTORM) (objectTransferred ?TRANSLOCATE ?PM) (objectTransferred ?TRANSLOCATE ?SAND) (instance ?PM ParticulateMatter) (instance ?SAND Sand) (instance ?A2 LandArea) (destination ?TRANSLOCATE ?A2) (not (overlapsSpatially ?A1 ?A2)))))	Weather.kif 1259-1280	例 Process and 塵暴例 Process and 風子過程 Process and Process Transfer Object, Object, Object, Object and RealNumber 例 Object and LandArea Process 是 located 在 Object 測量 RealNumber and 結速度單位是 Object 的 surface 風速比較多 RealNumber and 30.0 例 Transfer and 易位子過程 Transfer and Process objectTransferred Transfer and Object objectTransferred Transfer and Object 例 Object and ParticulateMatter 例 Object and 砂例 Object and LandArea 目的地 Transfer and Object 在空間上重疊 Object and Object
(=> (and (instance ?E Exhaust) (material Fuel ?E) (instance ?T Transfer) (instance ?ENG Engine) (origin ?T ?ENG) (instance ?CC CatalyticConverter) (destination ?T ?CC) (objectTransferred ?T ?E)) (hasPurpose ?CC (exists (?C) (and (instance ?C Combustion) (instrument ?C ?CC) (patient ?C ?E) (eventLocated ?C ?CC)))))	Cars.kif 1724-1740	例 CorpuscularObject and Exhaust 材料汽油 and CorpuscularObject 例 Transfer and Transfer 例 CorpuscularObjectNG and 發動機起源 Transfer and CorpuscularObjectNG 例 Physical and CatalyticConverter 目的地 Transfer and Physical objectTransferred Transfer and CorpuscularObject 有目的 Physical and entity 例 entity and Combustion 儀器 entity and Physical 患者 entity and CorpuscularObject entity 是 located 在 Physical
(=> (and (instance ?EV Evacuation) (origin ?EV ?O) (agent ?EV ?A)) (exists (?M ?MA) (and (instance ?M Maintaining) (eventLocated ?M ?O) (subProcess ?M ?EV) (or (subOrganization ?MA ?A) (member ?MA ?A) (equal ?MA ?A)) (agent ?M ?MA))))	MilitaryProcesses.kif 2607-2621	例 Process and 疏散起源 Process and Object agent Process and Organization Process ProcessA 例 Process and Maintaining Process 是 located 在 Object 子過程 Process and Process 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA
(=> (and (instance ?G Garden) (plantInArea Plant ?G)) (hasPurpose ?G (exists (?R) (and (instance ?R RecreationOrExercise) (eventLocated ?R ?G)))))	Mid-level-ontology.kif 9340-9348	例耕地面積 and 園林栽種於 Plant and 耕地面積有目的耕地面積 and entity 例 entity and RecreationOrExercise entity 是 located 在耕地面積
(=> (and (instance ?G Gene) (located ?G ?C) (instance ?C Cell)) (exists (?B ?N ?R) (and (instance ?B BiologicalProcess) (eventLocated ?B ?C) (origin ?B ?G) (result ?B ?N) (instance ?N Nucleotide) (part ?N ?R) (instance ?R RNAMolecule) (located ?R ?C))))	VirusProteinAndCellPart.kif 661-675	例 Object and Gene 位於 Object and Object 例 Object and Cell Process Object and Object 例 Process and BiologicalProcess Process 是 located 在 Object 起源 Process and Object 結果 Process and Object 例 Object and Nucleotide 部分 Object and Object 例 Object and RNA分子位於 Object and Object
(=> (and (instance ?HS HeavySurf) (instance ?PLACE WaterArea) (eventLocated ?HS ?PLACE)) (exists (?SWIM ?A) (and (instance ?SWIM Swimming) (instance ?A Human) (agent ?SWIM ?A) (eventLocated ?SWIM ?PLACE) (holdsDuring (WhenFn ?HS) (hazardous ?HS ?A)))))	Weather.kif 1561-1574	例 Process and 高激浪例 Object and WaterArea Process 是 located 在 Object Process AutonomousAgent 例 Process and Swimming 例 AutonomousAgent and Human agent Process and AutonomousAgent Process 是 located 在 Object 持有期間何時 Process and hazardous Process and AutonomousAgent
(=> (and (instance ?ORG Organization) (attribute ?ORG MiscellaneousStoreRetailers)) (exists (?EV ?MEM ?THING ?ST ?P) (and (member ?MEM ?ORG) (agent ?EV ?P) (instance ?EV Selling) (instance ?P Human) (instance ?ST RetailStore) (eventLocated ?EV ?ST) (instance ?THING Object) (patient ?EV ?THING))))	naics.kif 7752-7765	例 Collection and Organization attribute Collection and 雜貨店零售商 Process Physical, Entity, Object and AutonomousAgent 會員 Physical and Collection agent Process and AutonomousAgent 例 Process and Selling 例 AutonomousAgent and Human 例 Object and 零售店 Process 是 located 在 Object 例 Entity and Object 患者 Process and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG NonstoreRetailers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?P) (and (instance ?EV Selling) (instance ?P Human) (instance ?THING Object) (not (eventLocated ?EV RetailStore)) (destination ?EV ?P) (patient ?EV ?THING))))))	naics.kif 7877-7893	例 Collection and Organization attribute Collection and 非商店零售商 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Entity 例 AutonomousAgent and Selling 例 Entity and Human 例 Entity and Object AutonomousAgent 是 located 在零售店目的地 AutonomousAgent and Entity 患者 AutonomousAgent and Entity
(=> (and (instance ?P ForestProduct) (instance ?M Manufacture) (result ?M ?P) (patient ?M ?X) (instance ?X Organism)) (exists (?A ?F) (and (instance ?A Agriculture) (result ?A ?X) (eventLocated ?A ?F) (instance ?F Forest))))	Economy.kif 5551-5563	例 Entity and ForestProduct 例 Process and Manufacture 結果 Process and Entity 患者 Process and Entity 例 Entity and Organism Process Object 例 Process and 農業結果 Process and Entity Process 是 located 在 Object 例 Object and 森林
(=> (and (instance ?PROC Process) (eventLocated ?PROC ?LOC) (subProcess ?SUB ?PROC)) (eventLocated ?SUB ?LOC))	Mid-level-ontology.kif 25166-25171	例 Process and Process Process 是 located 在 Object 子過程 Process and Process Process 是 located 在 Object
(=> (and (instance ?REST Restaurant) (instance ?DR DiningRoom) (attribute ?DR PrivateAttribute) (possesses ?REST ?DR) (customer ?GRP1 ?REST) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople)) (modalAttribute (not (exists (?GRP2 ?E2) (and (customer ?GRP2 ?REST) (not (equal ?GRP1 ?GRP2)) (instance ?E2 Eating) (agent ?E2 ?GRP2) (holdsDuring (WhenFn ?E1) (eventLocated ?E2 ?DR))))) Likely))	Dining.kif 1227-1246	例 AutonomousAgent and 餐廳例 Object and 飯廳 attribute Object and PrivateAttribute 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Eating agent Process and CognitiveAgent 例 CognitiveAgent and 一群人模態屬性 entity entity AutonomousAgent 是 entity 的 customer 等於 CognitiveAgent and entity 例 entity and Eating agent entity and entity 持有期間何時 Process and entity 是 located 在 Object and 容易
(=> (and (instance ?S Shooting) (instance ?G Gun) (instrument ?S ?G)) (exists (?E ?GB ?B ?C ?M) (and (subProcess ?E ?S) (instance ?E Exiting) (eventLocated ?E ?GB) (instance ?GB GunBarrel) (part ?GB ?G) (objectTransferred ?E ?B) (instance ?B Bullet) (origin ?B ?C) (instance ?C BulletCartridge) (located ?C ?GB) (path ?E ?GB) (entrance ?M ?GB) (instance ?M GunMuzzle))))	Mid-level-ontology.kif 1361-1380	例 Process and Shooting 例 Object and 槍儀器 Process and Object Transfer ObjectB, Object, Object and Region 子過程 Transfer and Process 例 Transfer and Exiting Transfer 是 located 在 ObjectB 例 ObjectB and 槍管部分 ObjectB and Object objectTransferred Transfer and Object 例 Object and 子彈起源 Object and Object 例 Object and BulletCartridge 位於 Object and ObjectB 路徑 Transfer and ObjectB entrance Region and ObjectB 例 Region and GunMuzzle
(=> (and (instance ?SHOCK Aftershock) (eventLocated ?SHOCK ?PLACE)) (exists (?TREMOR) (and (instance ?TREMOR EarthTremor) (eventLocated ?TREMOR ?PLACE) (before (WhenFn ?TREMOR) (WhenFn ?SHOCK)))))	Geography.kif 2316-2326	例 Process and 餘震 Process 是 located 在 Object Process 例 Process and 地震 Process 是 located 在 Object 之前何時 Process and 何時 Process
(=> (and (instance ?T Ticket) (possesses ?T ?CUST) (issuedBy ?T ?ORG) (attribute ?ORG AmusementGamblingAndRecreationIndustries) (located ?ORG ?LOC)) (confersNorm ?ORG (exists (?REC) (and (instance ?REC RecreationOrExercise) (experiencer ?REC ?CUST) (eventLocated ?REC ?LOC))) Permission))	naics.kif 11456-11468	例 AutonomousAgent and 票擁有 AutonomousAgent and Object CognitiveAgent 是由 AutonomousAgent 的 issued attribute CognitiveAgent and 娛樂賭博和娛樂業位於 CognitiveAgent and Object CognitiveAgent confers 規範 entity 例 entity and RecreationOrExercise 體驗者 entity and Object entity 是 located 在 Object 對於允許
(=> (and (instance ?T Tornado) (instance ?R Rotating) (instance ?A Air) (instance ?TRAN Translocation) (subProcess ?R ?T) (subProcess ?TRAN ?R) (patient ?TRAN ?A) (direction ?TRAN Horizontal)) (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE) (and (instance ?G GeographicArea) (eventLocated ?T ?G) (part ?FUNNEL ?A) (attribute ?FUNNEL ConeSegment) (top ?TOP ?FUNNEL) (bottom ?BOTTOM ?FUNNEL) (instance ?C Cloud) (bottom ?BASE ?C) (meetsSpatially ?TOP ?BASE) (meetsSpatially ?BOTTOM ?G))))	Weather.kif 1633-1654	例 Process and 龍捲風例 Process and 旋轉例 Object and 空氣例 ProcessRAN and 易位子過程 Process and Process 子過程 ProcessRAN and Process 患者 ProcessRAN and Object 方向 ProcessRAN and 橫 Object SelfConnectedObject, ProcessOP, SelfConnectedObject, SelfConnectedObject and SelfConnectedObject 例 Object and GeographicArea Process 是 located 在 Object 部分 SelfConnectedObject and Object attribute SelfConnectedObject and ConeSegment 上 ProcessOP and SelfConnectedObject 底部 SelfConnectedObject and SelfConnectedObject 例 SelfConnectedObject and 雲底部 SelfConnectedObject and SelfConnectedObject 空間的符合 ProcessOP and SelfConnectedObject 空間的符合 SelfConnectedObject and Object

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: