Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - eventLocated
eventLocated

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 4124-4126
(documentation eventLocated JapaneseLanguage "(eventLocated ?PROC ?OBJ) とは、Process ?PROC 全体が Object ?OBJ 上に配置され、?PROC のすべての subProcess が ?OBJ上に配置されるこ とを意味する。") japanese_format.kif 767-769
(instance eventLocated CaseRole) Merge.kif 4121-4121 eventLocated 是 格角色 的 instance
(instance eventLocated TotalValuedRelation) Merge.kif 4122-4122 eventLocated 是 总值关系 的 instance
(subrelation eventLocated eventPartlyLocated) Merge.kif 4120-4120 eventLocated 是 eventPartlyLocated 的 subrelation

appearance as argument number 2
-------------------------


(format ChineseLanguage eventLocated "%1 是 located 在 %2 ") domainEnglishFormat.kif 3320-3320
(format ChineseTraditionalLanguage eventLocated "%1 是 located 在 %2 ") domainEnglishFormat.kif 3319-3319
(format EnglishLanguage eventLocated "%1 is located at %2") domainEnglishFormat.kif 3318-3318
(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
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?BLOW VolcanicEruption)
        (eventLocated ?BLOW ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 1865-1870
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?SHAKING EarthTremor)
        (eventLocated ?SHAKING ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 1872-1877
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER ClearWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (lessThan ?FRACTION 0.3))		 Weather.kif 876-882
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER ClearWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (lessThan ?FRACTION 0.3))))		 Weather.kif 866-874
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (greaterThan ?FRACTION 0.7))		 Weather.kif 927-933
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (greaterThan ?FRACTION 0.7))))		 Weather.kif 917-925
(=>
    (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
(=>
    (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
(=>
    (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 16984-16994
(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?CS CyclonicStorm)
        (instance ?AS AirStream)
        (eventLocated ?CS ?AS))
    (shape ?AS Cylinder))		 Weather.kif 556-561
(=>
    (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 2475-2488
(=>
    (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 2454-2465
(=>
    (and
        (instance ?DUST DustStorm)
        (instance ?PLACE GeographicArea)
        (eventLocated ?DUST ?PLACE))
    (holdsDuring
        (WhenFn ?DUST)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))		 Weather.kif 2583-2591
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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 1881-1900
(=>
    (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 1851-1870
(=>
    (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 1926-1948
(=>
    (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 17843-17858
(=>
    (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 1581-1591
(=>
    (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

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 17070-17079
(=>
    (and
        (attribute ?M StudioRecording)
        (instance ?M Recording))
    (exists (?P ?S)
        (and
            (record ?M ?P)
            (eventLocated ?P ?S)
            (instance ?S RecordingStudio))))		 Music.kif 392-400
(=>
    (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
(=>
    (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
(=>
    (and
        (attribute ?X Historical)
        (instance ?X City))
    (exists (?EV)
        (and
            (instance ?EV Physical)
            (attribute ?EV Historical)
            (eventLocated ?EV ?X))))		 Mid-level-ontology.kif 26858-26866
(=>
    (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 26423-26435
(=>
    (and
        (instance ?BC BoosterChair)
        (instance ?H HumanChild))
    (hasPurposeForAgent ?BC
        (and
            (attribute ?H Sitting)
            (eventLocated ?H ?BC)) ?H))		 Dining.kif 840-847
(=>
    (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
(=>
    (and
        (instance ?CRAFT WaterVehicle)
        (instance ?EVENT Transportation)
        (instrument ?EVENT ?CRAFT))
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (eventLocated ?EVENT ?WATER))))		 Mid-level-ontology.kif 3491-3499
(=>
    (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 2454-2465
(=>
    (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
(=>
    (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 1723-1739
(=>
    (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 2625-2639
(=>
    (and
        (instance ?G Garden)
        (plantInArea Plant ?G))
    (hasPurpose ?G
        (exists (?R)
            (and
                (instance ?R RecreationOrExercise)
                (eventLocated ?R ?G)))))		 Mid-level-ontology.kif 8372-8380
(=>
    (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 654-668
(=>
    (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 1562-1575
(=>
    (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
(=>
    (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
(=>
    (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 5210-5222
(=>
    (and
        (instance ?PROC Process)
        (eventLocated ?PROC ?LOC)
        (subProcess ?SUB ?PROC))
    (eventLocated ?SUB ?LOC))		 Mid-level-ontology.kif 23789-23794
(=>
    (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
(=>
    (and
        (instance ?SHOCK Aftershock)
        (eventLocated ?SHOCK ?PLACE))
    (exists (?TREMOR)
        (and
            (instance ?TREMOR EarthTremor)
            (eventLocated ?TREMOR ?PLACE)
            (before
                (WhenFn ?TREMOR)
                (WhenFn ?SHOCK)))))		 Geography.kif 2328-2338
(=>
    (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
(=>
    (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 1634-1655
(=>
    (and
        (instance ?TSC TwoStrokeCompression)
        (eventLocated ?TSC ?E)
        (instance ?E TwoStrokeEngine))
    (exists (?C)
        (and
            (instance ?C Explosion)
            (during ?C ?TSC)
            (eventLocated ?C ?E))))		 Cars.kif 491-500

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