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 4253-4254
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 4250-4252
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__eventLocated__m,s__CaseRole)

Merge.kif 4248-4248 event located is an instance of case role
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__eventLocated__m,s__TotalValuedRelation)

Merge.kif 4249-4249 event located is an instance of total valued relation
s__subrelation(s__eventLocated__m,s__eventPartlyLocated__m)

Merge.kif 4247-4247 event located is a subrelation of event partly located

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 4255-4255 "event located" is the printable form of event located in english language

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__and__ms__instance(V__BLOW,s__VolcanicEruption)s__and__ms__eventLocated(V__BLOW,V__AREA))
  s__=>(s__not__ms__attribute(V__AREA,s__GeologicallyStable)))
)

Geography.kif 1806-1811
( ! [V__AREA,V__SHAKING] :
   ((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__SHAKING,s__EarthTremor)s__and__ms__eventLocated(V__SHAKING,V__AREA))
  s__=>(s__not__ms__attribute(V__AREA,s__GeologicallyStable)))
)

Geography.kif 1813-1818
( ! [V__FRACTION,V__AREA,V__WEATHER] :
   (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__=>((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__ClearWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA)
      s__and__ms__cloudCoverFraction(V__AREA,V__FRACTION))
  s__=>s__lessThan(V__FRACTION,0.3)))
)

Weather.kif 504-510
( ! [V__AREA,V__WEATHER] :
   ((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__ClearWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA))
  s__=>(s__exists__m[V__FRACTION] :
     (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__and__m(s__cloudCoverFraction(V__AREA,V__FRACTION)
    s__and__ms__lessThan(V__FRACTION,0.3)))))
)

Weather.kif 494-502
( ! [V__FRACTION,V__AREA,V__WEATHER] :
   (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__=>((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__OvercastWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA)
      s__and__ms__cloudCoverFraction(V__AREA,V__FRACTION))
  s__=>s__greaterThan(V__FRACTION,0.7)))
)

Weather.kif 555-561
( ! [V__AREA,V__WEATHER] :
   ((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__OvercastWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA))
  s__=>(s__exists__m[V__FRACTION] :
     (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__and__m(s__cloudCoverFraction(V__AREA,V__FRACTION)
    s__and__ms__greaterThan(V__FRACTION,0.7)))))
)

Weather.kif 545-553
( ! [V__FRACTION,V__AREA,V__WEATHER] :
   (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__=>((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__PartlyCloudyWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA)
      s__and__ms__cloudCoverFraction(V__AREA,V__FRACTION))
  s__=>(s__greaterThanOrEqualTo(V__FRACTION,0.3)
  s__and__ms__lessThanOrEqualTo(V__FRACTION,0.7))))
)

Weather.kif 529-537
( ! [V__AREA,V__WEATHER] :
   ((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__PartlyCloudyWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA))
  s__=>(s__exists__m[V__FRACTION] :
     (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__and__m(s__cloudCoverFraction(V__AREA,V__FRACTION)
    s__and__ms__greaterThanOrEqualTo(V__FRACTION,0.3)
  s__and__ms__lessThanOrEqualTo(V__FRACTION,0.7)))))
)

Weather.kif 518-527
( ! [V__AS,V__P] :
   ((s__instance(V__AS,s__ArtSchool)s__and__ms__instance(V__P,s__EducationalProcess)s__and__ms__eventLocated(V__P,V__AS))
  s__=>(s__exists__m[V__M,V__ART] :
     (s__instance(V__M,s__Making)s__and__ms__patient(V__M,V__ART)
    s__and__ms__instance(V__ART,s__ArtWork)s__and__ms__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__AGENT,V__CUST,V__LOC1,V__C,V__LOC2] :
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__ms__instance(V__LOC1,s__Object))
    s__=>((s__instance(V__C,s__CateringService)s__and__ms__agent(V__C,V__AGENT)
      s__and__ms__destination(V__C,V__CUST)
    s__and__ms__located(V__AGENT,V__LOC1)
  s__and__ms__customer(V__CUST,V__AGENT)
s__and__m(s__exists__m[V__S,V__FOOD,V__E] :
(s__instance(V__S,s__Cooking)s__and__ms__agent(V__S,V__AGENT)
s__and__ms__result(V__S,V__FOOD)
s__and__ms__patient(V__C,V__FOOD)
s__and__ms__instance(V__E,s__Eating)s__and__ms__agent(V__E,V__CUST)
s__and__ms__eventLocated(V__E,V__LOC2))))
s__=>(s__not__m(V__LOC1s__equal__mV__LOC2))))
)

Dining.kif 544-560
( ! [V__DRYSPELL,V__AREA] :
   ((s__instance(V__DRYSPELL,s__Drought)s__and__ms__eventLocated(V__DRYSPELL,V__AREA))
  s__=>(s__not__m(s__exists__m[V__RAIN,V__PLACE] :
     (s__instance(V__RAIN,s__Raining)s__and__ms__instance(V__PLACE,s__Region)s__and__ms__eventLocated(V__RAIN,V__PLACE)
    s__and__ms__overlapsSpatially(V__PLACE,V__AREA)
  s__and__ms__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__and__ms__instance(V__C,s__EngineCylinder)s__and__ms__instance(V__I,s__InternalCombustionChamber)s__and__m(V__Cs__equal__ms__HoleHostFn(V__I))
  s__and__ms__eventLocated(V__F,V__C))
s__=>(s__exists__m[V__CO] :
(s__instance(V__CO,s__Combustion)s__and__ms__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__and__ms__instance(V__C,s__EngineCylinder)s__and__ms__instance(V__I,s__InternalCombustionChamber)s__and__m(V__Cs__equal__ms__HoleHostFn(V__I))
  s__and__ms__eventLocated(V__F,V__C))
s__=>(s__exists__m[V__E,V__M] :
(s__instance(V__M,s__GasMotion)s__and__ms__instance(V__E,s__Exhaust)s__and__ms__subProcess(V__M,V__F)
s__and__ms__origin(V__M,V__I)
s__and__ms__patient(V__M,V__E))))
)

Cars.kif 225-238
( ! [V__F,V__C,V__I] :
   ((s__instance(V__F,s__FourStrokeIntake)s__and__ms__instance(V__C,s__EngineCylinder)s__and__ms__instance(V__I,s__InternalCombustionChamber)s__and__m(V__Cs__equal__ms__HoleHostFn(V__I))
  s__and__ms__eventLocated(V__F,V__C))
s__=>(s__exists__m[V__FV,V__M] :
(s__instance(V__M,s__GasMotion)s__and__ms__instance(V__FV,s__FuelVapor)s__and__ms__subProcess(V__M,V__F)
s__and__ms__destination(V__M,V__I)
s__and__ms__patient(V__M,V__FV))))
)

Cars.kif 171-184
( ! [V__E,V__LOC,V__F,V__P,V__I] :
   ((s__instance(V__E,s__Agent)s__and__ms__instance(V__LOC,s__Object))
    s__=>((s__instance(V__F,s__MilitaryForce)s__and__ms__instance(V__P,s__Human)s__and__ms__instance(V__I,s__Imprisoning)s__and__ms__member(V__P,V__F)
      s__and__ms__agent(V__I,V__E)
    s__and__ms__patient(V__I,V__P)
  s__and__ms__enemy(V__E,V__P)
s__and__ms__eventLocated(V__I,V__LOC)
s__and__ms__attribute(V__LOC,s__WarState))
s__=>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__and__ms__instance(V__M,s__Recording))
    s__=>(s__exists__m[V__P] :
       (s__instance(V__P,s__Process)s__and__m(s__record(V__M,V__P)
      s__and__ms__eventLocated(V__P,V__S)
    s__and__ms__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__and__ms__instance(V__X,s__City))
    s__=>(s__exists__m[V__EV] :
       (s__instance(V__EV,s__Physical)s__and__ms__attribute(V__EV,s__Historical)s__and__ms__eventLocated(V__EV,V__X))))
)

Mid-level-ontology.kif 24700-24708
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24147-24159
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__and__ms__instance(V__EVENT,s__Transportation)s__and__ms__instrument(V__EVENT,V__CRAFT))
  s__=>(s__exists__m[V__WATER] :
     (s__instance(V__WATER,s__WaterArea)s__and__ms__eventLocated(V__EVENT,V__WATER))))
)

Mid-level-ontology.kif 4034-4042
( ! [V__DRYSPELL,V__AREA] :
   ((s__instance(V__DRYSPELL,s__Drought)s__and__ms__eventLocated(V__DRYSPELL,V__AREA))
  s__=>(s__not__m(s__exists__m[V__RAIN,V__PLACE] :
     (s__instance(V__RAIN,s__Raining)s__and__ms__instance(V__PLACE,s__Region)s__and__ms__eventLocated(V__RAIN,V__PLACE)
    s__and__ms__overlapsSpatially(V__PLACE,V__AREA)
  s__and__ms__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__O,V__A,V__EV] :
   ((s__instance(V__O,s__Object)s__and__ms__instance(V__A,s__Organization))
    s__=>((s__instance(V__EV,s__Evacuation)s__and__ms__origin(V__EV,V__O)
      s__and__ms__agent(V__EV,V__A))
  s__=>(s__exists__m[V__M,V__MA] :
     (s__instance(V__MA,s__Organization)s__and__m(s__instance(V__M,s__Maintaining)s__and__ms__eventLocated(V__M,V__O)
    s__and__ms__subProcess(V__M,V__EV)
  s__and__m(s__subOrganization(V__MA,V__A)
s__or__ms__member(V__MA,V__A)
s__or__m(V__MAs__equal__mV__A))
s__and__ms__agent(V__M,V__MA))))))
)

MilitaryProcesses.kif 2540-2554
( ! [V__GRP,V__MP,V__OD] :
   ((s__instance(V__GRP,s__MarchingBand)s__and__ms__instance(V__MP,s__MusicalPerformance)s__and__ms__agent(V__MP,V__GRP))
  s__=>(s__instance(V__OD,s__Outdoors)s__and__ms__eventLocated(V__MP,V__OD)
  s__and__m(s__exists__m[V__AMB] :
   (s__instance(V__AMB,s__Ambulating)s__and__ms__subProcess(V__AMB,V__MP)))))
)

Music.kif 983-994
( ! [V__ORG,V__P] :
   ((s__instance(V__ORG,s__Organization)s__and__ms__attribute(V__ORG,s__MiscellaneousStoreRetailers))
    s__=>(s__exists__m[V__EV,V__MEM] :
       (s__instance(V__MEM,s__Object)s__and__ms__instance(V__MEM,s__Process)s__and__m(s__member(V__MEM,V__ORG)
      s__and__ms__agent(V__MEM,V__EV)
    s__and__m(s__exists__m[V__THING,V__ST] :
     (s__instance(V__EV,s__Selling)s__and__ms__instance(V__P,s__Human)s__and__ms__instance(V__ST,s__RetailStore)s__and__ms__eventLocated(V__EV,V__ST)
    s__and__ms__instance(V__THING,s__Object)s__and__ms__patient(V__EV,V__THING)))))))
)

naics.kif 7759-7774
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization)s__and__ms__attribute(V__ORG,s__NonstoreRetailers))
    s__=>(s__exists__m[V__EV,V__MEM] :
       (s__instance(V__MEM,s__Object)s__and__ms__instance(V__MEM,s__Process)s__and__m(s__member(V__MEM,V__ORG)
      s__and__ms__agent(V__MEM,V__EV)
    s__and__m(s__exists__m[V__THING,V__P] :
     (s__instance(V__EV,s__Selling)s__and__ms__instance(V__P,s__Human)s__and__ms__instance(V__THING,s__Object)s__and__m(s__not__ms__eventLocated(V__EV,s__RetailStore))
    s__and__ms__destination(V__EV,V__P)
  s__and__ms__patient(V__EV,V__THING)))))))
)

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

Mid-level-ontology.kif 21417-21422
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__and__ms__eventLocated(V__SHOCK,V__PLACE))
  s__=>(s__exists__m[V__TREMOR] :
     (s__instance(V__TREMOR,s__EarthTremor)s__and__ms__eventLocated(V__TREMOR,V__PLACE)
    s__and__ms__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__and__ms__eventLocated(V__TSC,V__E)
    s__and__ms__instance(V__E,s__TwoStrokeEngine))
  s__=>(s__exists__m[V__C] :
     (s__instance(V__C,s__Explosion)s__and__ms__during(V__C,V__TSC)
    s__and__ms__eventLocated(V__C,V__E))))
)

Cars.kif 491-500
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28190-28219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24563-24581
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25169-25195
No TPTP formula. May not be expressible in strict first order. Merge.kif 4499-4509
( ! [V__AREA] :
   (s__instance(V__AREA,s__Object)s__=>(s__attribute(V__AREA,s__FertileTerrain)s__=>s__capability(s__Agriculture,s__eventLocated__m,V__AREA)))
)

Geography.kif 1772-1774
( ! [V__H] :
   (s__instance(V__H,s__Object)s__=>(s__attribute(V__H,s__Emphysema)s__=>(s__exists__m[V__L,V__P] :
         (s__instance(V__L,s__Lung)s__and__ms__part(V__L,V__H)
        s__and__ms__instance(V__P,s__PathologicProcess)s__and__ms__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