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
-------------------------


s__documentation(s__eventLocated__m,s__ChineseLanguage,'(eventLocated ?PROC ?OBJ) 的意思是整个 Process ?PROC 是位于 Object ?OBJ,也就是说所有 ?PROC 的 subProcess 是位于 ?OBJ。')

Merge.kif 4240-4241
s__documentation(s__eventLocated__m,s__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 4237-4239
s__instance(s__CaseRole,s__SetOrClass)

Merge.kif 4235-4235
s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 4236-4236
s__subrelation(s__eventLocated__m,s__eventPartlyLocated__m)

Merge.kif 4234-4234

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


s__format(s__EnglishLanguage,s__eventLocated__m,'%1 is located at 2')

domainEnglishFormat.kif 841-841
s__termFormat(s__EnglishLanguage,s__eventLocated__m,'event located')

Merge.kif 4242-4242

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 1158-1175
( ! [V__AREA,V__BLOW] :
   ((s__instance(V__AREA,s__GeographicArea) &
       s__instance(V__BLOW,s__VolcanicEruption) &
       s__eventLocated(V__BLOW,V__AREA))
   =>
   (~ s__attribute(V__AREA,s__GeologicallyStable)))
)

Geography.kif 1806-1811
( ! [V__AREA,V__SHAKING] :
   ((s__instance(V__AREA,s__GeographicArea) &
       s__instance(V__SHAKING,s__EarthTremor) &
       s__eventLocated(V__SHAKING,V__AREA))
   =>
   (~ s__attribute(V__AREA,s__GeologicallyStable)))
)

Geography.kif 1813-1818
( ! [V__AREA,V__WEATHER,V__FRACTION] :
   ((s__instance(V__AREA,s__GeographicArea) &
       s__instance(V__WEATHER,s__ClearWeather) &
       s__eventLocated(V__WEATHER,V__AREA)
     &
     s__cloudCoverFraction(V__AREA,V__FRACTION))
=>
s__lessThan(V__FRACTION,0.3))
)

Weather.kif 504-510
( ! [V__AREA,V__WEATHER] :
   ((s__instance(V__AREA,s__GeographicArea) &
       s__instance(V__WEATHER,s__ClearWeather) &
       s__eventLocated(V__WEATHER,V__AREA))
   =>
   (? [V__FRACTION] :
     (s__cloudCoverFraction(V__AREA,V__FRACTION)
     &
     s__lessThan(V__FRACTION,0.3))))
)

Weather.kif 494-502
( ! [V__AREA,V__WEATHER,V__FRACTION] :
   ((s__instance(V__AREA,s__GeographicArea) &
       s__instance(V__WEATHER,s__OvercastWeather) &
       s__eventLocated(V__WEATHER,V__AREA)
     &
     s__cloudCoverFraction(V__AREA,V__FRACTION))
=>
s__greaterThan(V__FRACTION,0.7))
)

Weather.kif 555-561
( ! [V__AREA,V__WEATHER] :
   ((s__instance(V__AREA,s__GeographicArea) &
       s__instance(V__WEATHER,s__OvercastWeather) &
       s__eventLocated(V__WEATHER,V__AREA))
   =>
   (? [V__FRACTION] :
     (s__cloudCoverFraction(V__AREA,V__FRACTION)
     &
     s__greaterThan(V__FRACTION,0.7))))
)

Weather.kif 545-553
( ! [V__AREA,V__WEATHER,V__FRACTION] :
   ((s__instance(V__AREA,s__GeographicArea) &
       s__instance(V__WEATHER,s__PartlyCloudyWeather) &
       s__eventLocated(V__WEATHER,V__AREA)
     &
     s__cloudCoverFraction(V__AREA,V__FRACTION))
=>
(s__greaterThanOrEqualTo(V__FRACTION,0.3)
&
s__lessThanOrEqualTo(V__FRACTION,0.7)))
)

Weather.kif 529-537
( ! [V__AREA,V__WEATHER] :
   ((s__instance(V__AREA,s__GeographicArea) &
       s__instance(V__WEATHER,s__PartlyCloudyWeather) &
       s__eventLocated(V__WEATHER,V__AREA))
   =>
   (? [V__FRACTION] :
     (s__cloudCoverFraction(V__AREA,V__FRACTION)
     &
     s__greaterThanOrEqualTo(V__FRACTION,0.3)
   &
   s__lessThanOrEqualTo(V__FRACTION,0.7))))
)

Weather.kif 518-527
( ! [V__AS,V__P] :
   ((s__instance(V__AS,s__ArtSchool) &
       s__instance(V__P,s__EducationalProcess) &
       s__eventLocated(V__P,V__AS))
   =>
   (? [V__M,V__ART] :
     (s__instance(V__M,s__Making) &
       s__patient(V__M,V__ART)
     &
     s__instance(V__ART,s__ArtWork) &
     s__refers(V__P,V__M))))
)

Mid-level-ontology.kif 14364-14374
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
( ! [V__C,V__AGENT,V__CUST,V__LOC1,V__LOC2] :
   ((s__instance(V__C,s__CateringService) &
       s__agent(V__C,V__AGENT)
     &
     s__destination(V__C,V__CUST)
   &
   s__located(V__AGENT,V__LOC1)
&
s__customer(V__CUST,V__AGENT)
&
(? [V__S,V__FOOD,V__E] :
(s__instance(V__S,s__Cooking) &
   s__agent(V__S,V__AGENT)
&
s__result(V__S,V__FOOD)
&
s__patient(V__C,V__FOOD)
&
s__instance(V__E,s__Eating) &
s__agent(V__E,V__CUST)
&
s__eventLocated(V__E,V__LOC2))))
=>
(~ (V__LOC1 = V__LOC2)))
)

Dining.kif 544-560
( ! [V__DRYSPELL,V__AREA] :
   ((s__instance(V__DRYSPELL,s__Drought) &
       s__eventLocated(V__DRYSPELL,V__AREA))
   =>
   (~ (? [V__RAIN,V__PLACE] :
       (s__instance(V__RAIN,s__Raining) &
         s__instance(V__PLACE,s__Region) &
         s__eventLocated(V__RAIN,V__PLACE)
       &
       s__overlapsSpatially(V__PLACE,V__AREA)
     &
     s__overlapsTemporally(V__RAIN,V__DRYSPELL)))))
)

Weather.kif 908-919
No TPTP formula. May not be expressible in strict first order. Cars.kif 509-521
No TPTP formula. May not be expressible in strict first order. Cars.kif 463-475
No TPTP formula. May not be expressible in strict first order. Cars.kif 1314-1343
No TPTP formula. May not be expressible in strict first order. Cars.kif 1890-1906
No TPTP formula. May not be expressible in strict first order. Cars.kif 1863-1879
No TPTP formula. May not be expressible in strict first order. Cars.kif 1932-1951
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15141-15153
( ! [V__F,V__C,V__I] :
   ((s__instance(V__F,s__FourStrokeCombustion) &
       s__instance(V__C,s__EngineCylinder) &
       s__instance(V__I,s__InternalCombustionChamber) &
       (V__C = s__HoleHostFn(V__I))
     &
     s__eventLocated(V__F,V__C))
=>
(? [V__CO] :
   (s__instance(V__CO,s__Combustion) &
     s__subProcess(V__CO,V__F))))
)

Cars.kif 207-217
No TPTP formula. May not be expressible in strict first order. Cars.kif 191-200
( ! [V__F,V__C,V__I] :
   ((s__instance(V__F,s__FourStrokeExhaust) &
       s__instance(V__C,s__EngineCylinder) &
       s__instance(V__I,s__InternalCombustionChamber) &
       (V__C = s__HoleHostFn(V__I))
     &
     s__eventLocated(V__F,V__C))
=>
(? [V__E,V__M] :
   (s__instance(V__M,s__GasMotion) &
     s__instance(V__E,s__Exhaust) &
     s__subProcess(V__M,V__F)
   &
   s__origin(V__M,V__I)
&
s__patient(V__M,V__E))))
)

Cars.kif 225-238
( ! [V__F,V__C,V__I] :
   ((s__instance(V__F,s__FourStrokeIntake) &
       s__instance(V__C,s__EngineCylinder) &
       s__instance(V__I,s__InternalCombustionChamber) &
       (V__C = s__HoleHostFn(V__I))
     &
     s__eventLocated(V__F,V__C))
=>
(? [V__FV,V__M] :
   (s__instance(V__M,s__GasMotion) &
     s__instance(V__FV,s__FuelVapor) &
     s__subProcess(V__M,V__F)
   &
   s__destination(V__M,V__I)
&
s__patient(V__M,V__FV))))
)

Cars.kif 171-184
( ! [V__F,V__P,V__I,V__E,V__LOC] :
   ((s__instance(V__F,s__MilitaryForce) &
       s__instance(V__P,s__Human) &
       s__instance(V__I,s__Imprisoning) &
       s__member(V__P,V__F)
     &
     s__agent(V__I,V__E)
   &
   s__patient(V__I,V__P)
&
s__enemy(V__E,V__P)
&
s__eventLocated(V__I,V__LOC)
&
s__attribute(V__LOC,s__WarState))
=>
s__attribute(V__P,s__PrisonerOfWar))
)

MilitaryPersons.kif 285-296

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. Mid-level-ontology.kif 14408-14417
( ! [V__M,V__S] :
   ((s__attribute(V__M,s__StudioRecording) &
       s__instance(V__M,s__Recording))
     =>
     (? [V__P] :
       (s__record(V__M,V__P)
       &
       s__eventLocated(V__P,V__S)
     &
     s__instance(V__S,s__RecordingStudio))))
)

Music.kif 395-403
No TPTP formula. May not be expressible in strict first order. Dining.kif 1158-1175
( ! [V__X] :
   ((s__attribute(V__X,s__Historical) &
       s__instance(V__X,s__City))
     =>
     (? [V__EV] :
       (s__instance(V__EV,s__Physical) &
         s__attribute(V__EV,s__Historical) &
         s__eventLocated(V__EV,V__X))))
)

Mid-level-ontology.kif 24620-24628
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24067-24079
No TPTP formula. May not be expressible in strict first order. Dining.kif 797-804
No TPTP formula. May not be expressible in strict first order. Cars.kif 349-361
( ! [V__CRAFT,V__EVENT] :
   ((s__instance(V__CRAFT,s__WaterVehicle) &
       s__instance(V__EVENT,s__Transportation) &
       s__instrument(V__EVENT,V__CRAFT))
   =>
   (? [V__WATER] :
     (s__instance(V__WATER,s__WaterArea) &
       s__eventLocated(V__EVENT,V__WATER))))
)

Mid-level-ontology.kif 4034-4042
( ! [V__DRYSPELL,V__AREA] :
   ((s__instance(V__DRYSPELL,s__Drought) &
       s__eventLocated(V__DRYSPELL,V__AREA))
   =>
   (~ (? [V__RAIN,V__PLACE] :
       (s__instance(V__RAIN,s__Raining) &
         s__instance(V__PLACE,s__Region) &
         s__eventLocated(V__RAIN,V__PLACE)
       &
       s__overlapsSpatially(V__PLACE,V__AREA)
     &
     s__overlapsTemporally(V__RAIN,V__DRYSPELL)))))
)

Weather.kif 908-919
No TPTP formula. May not be expressible in strict first order. Cars.kif 1712-1728
( ! [V__EV,V__O,V__A] :
   ((s__instance(V__EV,s__Evacuation) &
       s__origin(V__EV,V__O)
     &
     s__agent(V__EV,V__A))
=>
(? [V__M,V__MA] :
   (s__instance(V__M,s__Maintaining) &
     s__eventLocated(V__M,V__O)
   &
   s__subProcess(V__M,V__EV)
&
(s__subOrganization(V__MA,V__A)
|
s__member(V__MA,V__A)
|
(V__MA = V__A))
&
s__agent(V__M,V__MA))))
)

MilitaryProcesses.kif 2540-2554
( ! [V__GRP,V__MP,V__OD] :
   ((s__instance(V__GRP,s__MarchingBand) &
       s__instance(V__MP,s__MusicalPerformance) &
       s__agent(V__MP,V__GRP))
   =>
   (s__instance(V__OD,s__Outdoors) &
     s__eventLocated(V__MP,V__OD)
   &
   (? [V__AMB] :
     (s__instance(V__AMB,s__Ambulating) &
       s__subProcess(V__AMB,V__MP)))))
)

Music.kif 983-994
( ! [V__ORG,V__P] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__MiscellaneousStoreRetailers))
     =>
     (? [V__EV,V__MEM] :
       (s__member(V__MEM,V__ORG)
       &
       s__agent(V__MEM,V__EV)
     &
     (? [V__THING,V__ST] :
       (s__instance(V__EV,s__Selling) &
         s__instance(V__P,s__Human) &
         s__instance(V__ST,s__RetailStore) &
         s__eventLocated(V__EV,V__ST)
       &
       s__instance(V__THING,s__Object) &
       s__patient(V__EV,V__THING))))))
)

naics.kif 7759-7774
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__NonstoreRetailers))
     =>
     (? [V__EV,V__MEM] :
       (s__member(V__MEM,V__ORG)
       &
       s__agent(V__MEM,V__EV)
     &
     (? [V__THING,V__P] :
       (s__instance(V__EV,s__Selling) &
         s__instance(V__P,s__Human) &
         s__instance(V__THING,s__Object) &
         (~ s__eventLocated(V__EV,s__RetailStore))
         &
         s__destination(V__EV,V__P)
       &
       s__patient(V__EV,V__THING))))))
)

naics.kif 7886-7902
( ! [V__PROC,V__LOC,V__SUB] :
   ((s__instance(V__PROC,s__Process) &
       s__eventLocated(V__PROC,V__LOC)
     &
     s__subProcess(V__SUB,V__PROC))
=>
s__eventLocated(V__SUB,V__LOC))
)

Mid-level-ontology.kif 21386-21391
No TPTP formula. May not be expressible in strict first order. Dining.kif 1178-1197
( ! [V__SHOCK,V__PLACE] :
   ((s__instance(V__SHOCK,s__Aftershock) &
       s__eventLocated(V__SHOCK,V__PLACE))
   =>
   (? [V__TREMOR] :
     (s__instance(V__TREMOR,s__EarthTremor) &
       s__eventLocated(V__TREMOR,V__PLACE)
     &
     s__before(s__WhenFn(V__TREMOR)
  ,s__WhenFn(V__SHOCK)))))
)

Geography.kif 2261-2269
No TPTP formula. May not be expressible in strict first order. naics.kif 11381-11393
( ! [V__TSC,V__E] :
   ((s__instance(V__TSC,s__TwoStrokeCompression) &
       s__eventLocated(V__TSC,V__E)
     &
     s__instance(V__E,s__TwoStrokeEngine))
   =>
   (? [V__C] :
     (s__instance(V__C,s__Explosion) &
       s__during(V__C,V__TSC)
     &
     s__eventLocated(V__C,V__E))))
)

Cars.kif 491-500
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28110-28139
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24483-24501
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25089-25115
No TPTP formula. May not be expressible in strict first order. Merge.kif 4486-4496
( ! [V__AREA] :
   (s__attribute(V__AREA,s__FertileTerrain) =>
     s__capability(s__Agriculture,s__eventLocated__m,V__AREA))
)

Geography.kif 1772-1774
( ! [V__H] :
   (s__attribute(V__H,s__Emphysema) =>
     (? [V__L,V__P] :
       (s__instance(V__L,s__Lung) &
         s__part(V__L,V__H)
       &
       s__instance(V__P,s__PathologicProcess) &
       s__eventLocated(V__P,V__L))))
)

Mid-level-ontology.kif 6026-6033

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners