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

Formal Language: 



KB Term:  Term intersection
English Word: 

  eventLocated

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。"')

chinese_format.kif 2115-2116
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 4019-4021
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__eventLocated__m,s__CaseRole)

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

s__instance(s__eventLocated__m,s__TotalValuedRelation)

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

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

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


s__format(s__ChineseLanguage,s__eventLocated__m,'"%1 是 located 在 2 "')

domainEnglishFormat.kif 3331-3331
s__format(s__ChineseTraditionalLanguage,s__eventLocated__m,'"%1 是 located 在 2 "')

domainEnglishFormat.kif 3330-3330
s__format(s__EnglishLanguage,s__eventLocated__m,'"%1 is located at 2"')

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

english_format.kif 1849-1849

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1160-1177
( ! [V__BLOW,V__AREA] :
   (((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 1836-1841
( ! [V__SHAKING,V__AREA] :
   (((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 1843-1848
( ! [V__WEATHER,V__FRACTION,V__AREA] :
   ((s__instance(V__FRACTION,s__NonnegativeRealNumber) =>
       (((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,n__0_3)))))
)
)

Weather.kif 892-898
( ! [V__WEATHER,V__AREA] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__WEATHER,s__ClearWeather) &
         s__eventLocated(V__WEATHER,V__AREA))
     =>
     (( ? [V__FRACTION] :
         ((s__instance(V__FRACTION,s__NonnegativeRealNumber) &
             (s__cloudCoverFraction(V__AREA,V__FRACTION)
             &
             s__lessThan(V__FRACTION,n__0_3)))))))
)
)

Weather.kif 882-890
( ! [V__WEATHER,V__FRACTION,V__AREA] :
   ((s__instance(V__FRACTION,s__NonnegativeRealNumber) =>
       (((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,n__0_7)))))
)
)

Weather.kif 943-949
( ! [V__WEATHER,V__AREA] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__WEATHER,s__OvercastWeather) &
         s__eventLocated(V__WEATHER,V__AREA))
     =>
     (( ? [V__FRACTION] :
         ((s__instance(V__FRACTION,s__NonnegativeRealNumber) &
             (s__cloudCoverFraction(V__AREA,V__FRACTION)
             &
             s__greaterThan(V__FRACTION,n__0_7)))))))
)
)

Weather.kif 933-941
( ! [V__WEATHER,V__FRACTION,V__AREA] :
   ((s__instance(V__FRACTION,s__NonnegativeRealNumber) =>
       (((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,n__0_3)
         &
         s__lessThanOrEqualTo(V__FRACTION,n__0_7))))))
)
)

Weather.kif 917-925
( ! [V__WEATHER,V__AREA] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__WEATHER,s__PartlyCloudyWeather) &
         s__eventLocated(V__WEATHER,V__AREA))
     =>
     (( ? [V__FRACTION] :
         ((s__instance(V__FRACTION,s__NonnegativeRealNumber) &
             (s__cloudCoverFraction(V__AREA,V__FRACTION)
             &
             s__greaterThanOrEqualTo(V__FRACTION,n__0_3)
           &
           s__lessThanOrEqualTo(V__FRACTION,n__0_7)))))))
)
)

Weather.kif 906-915
( ! [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 15906-15916
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
( ! [V__AGENT,V__C,V__CUST,V__LOC2,V__LOC1] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__LOC1,s__Object))
       =>
       (((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 540-556
( ! [V__AS,V__CS] :
   (((s__instance(V__CS,s__CyclonicStorm) &
         s__instance(V__AS,s__AirStream) &
         s__eventLocated(V__CS,V__AS))
     =>
     (s__attribute(V__AS,s__Cylinder)))
   )
)

Weather.kif 572-577
No TPTP formula. May not be expressible in strict first order. Weather.kif 2485-2498
( ! [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 2464-2475
No TPTP formula. May not be expressible in strict first order. Weather.kif 2593-2601
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-1348
No TPTP formula. May not be expressible in strict first order. Cars.kif 1898-1917
No TPTP formula. May not be expressible in strict first order. Cars.kif 1868-1887
No TPTP formula. May not be expressible in strict first order. Cars.kif 1943-1965
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16683-16698
No TPTP formula. May not be expressible in strict first order. Weather.kif 1597-1607
( ! [V__C,V__F,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

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 15952-15961
( ! [V__S,V__M] :
   (((s__attribute(V__M,s__StudioRecording) &
         s__instance(V__M,s__Recording))
       =>
       (( ? [V__P] :
           ((s__instance(V__P,s__Process) &
               (s__record(V__M,V__P)
               &
               s__eventLocated(V__P,V__S)
             &
             s__instance(V__S,s__RecordingStudio)))))))
)
)

Music.kif 389-397
No TPTP formula. May not be expressible in strict first order. Dining.kif 1160-1177
( ! [V__X] :
   (((s__attribute(V__X,s__DeepSeaCoastalAndGreatLakesWaterTransportation) &
         s__instance(V__X,s__TransportationCompany))
       =>
       (( ? [V__SERVICE, V__PLACE] :
           ((s__instance(V__SERVICE,s__WaterTransportationService) &
               s__serviceProvider(V__SERVICE,V__X)
             &
             s__eventLocated(V__SERVICE,V__PLACE)
           &
           s__instance(V__PLACE,s__WaterArea) &
           s__located(V__X,s__NorthAmerica))))))
)
)

naics.kif 8127-8137
( ! [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 25627-25635
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25196-25208
No TPTP formula. May not be expressible in strict first order. Dining.kif 793-800
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 3433-3441
( ! [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 2464-2475
( ! [V__DUSTSTORM,V__WIND] :
   (((s__instance(V__DUSTSTORM,s__DustStorm) &
         s__instance(V__WIND,s__Wind) &
         s__subProcess(V__DUSTSTORM,V__WIND))
     =>
     (( ? [V__TRANSLOCATE, V__PM, V__SAND, V__A1, V__A2, V__STRONG] :
         ((s__instance(V__STRONG,s__RealNumber) &
             (s__instance(V__A1,s__LandArea) &
               s__eventLocated(V__WIND,V__A1)
             &
             s__surfaceWindSpeed(V__A1,s__MeasureFn(V__STRONG,s__KnotUnitOfSpeed))
           &
           s__greaterThan(V__STRONG,n__30)
         &
         s__instance(V__TRANSLOCATE,s__Translocation) &
         s__subProcess(V__TRANSLOCATE,V__DUSTSTORM)
       &
       s__objectTransferred(V__TRANSLOCATE,V__PM)
     &
     s__objectTransferred(V__TRANSLOCATE,V__SAND)
   &
   s__instance(V__PM,s__ParticulateMatter) &
   s__instance(V__SAND,s__Sand) &
   s__instance(V__A2,s__LandArea) &
   s__destination(V__TRANSLOCATE,V__A2)
&
~(s__overlapsSpatially(V__A1,V__A2))))))))
)
)

Weather.kif 1273-1294
No TPTP formula. May not be expressible in strict first order. Cars.kif 1717-1733
( ! [V__O,V__EV,V__A] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__A,s__Organization))
       =>
       (((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__MA,s__Organization) &
               (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 2553-2567
( ! [V__MP,V__OD,V__GRP] :
   (((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 977-988
No TPTP formula. May not be expressible in strict first order. Weather.kif 1578-1591
( ! [V__P,V__ORG] :
   ((s__instance(V__P,s__Agent) =>
       (((s__instance(V__ORG,s__Organization) &
             s__attribute(V__ORG,s__MiscellaneousStoreRetailers))
           =>
           (( ? [V__EV, V__MEM, V__THING, V__ST] :
               ((s__instance(V__MEM,s__Physical) &
                   (s__member(V__MEM,V__ORG)
                   &
                   s__agent(V__EV,V__P)
                 &
                 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-7772
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__NonstoreRetailers))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (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 7884-7900
( ! [V__PROC,V__SUB,V__LOC] :
   ((s__instance(V__SUB,s__Process) =>
       (((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 22596-22601
No TPTP formula. May not be expressible in strict first order. Dining.kif 1180-1199
( ! [V__PLACE,V__SHOCK] :
   (((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 2294-2302
No TPTP formula. May not be expressible in strict first order. naics.kif 11463-11475
( ! [V__A,V__R,V__T,V__TRAN] :
   (((s__instance(V__T,s__Tornado) &
         s__instance(V__R,s__Rotating) &
         s__instance(V__A,s__Air) &
         s__instance(V__TRAN,s__Translocation) &
         s__subProcess(V__R,V__T)
       &
       s__subProcess(V__TRAN,V__R)
     &
     s__patient(V__TRAN,V__A)
   &
   s__direction(V__TRAN,s__Horizontal))
=>
(( ? [V__G, V__FUNNEL, V__TOP, V__BOTTOM, V__C, V__BASE] :
     ((s__instance(V__FUNNEL,s__SelfConnectedObject) &
         s__instance(V__TOP,s__SelfConnectedObject) &
         s__instance(V__BOTTOM,s__SelfConnectedObject) &
         s__instance(V__BASE,s__SelfConnectedObject) &
         (s__instance(V__G,s__GeographicArea) &
           s__eventLocated(V__T,V__G)
         &
         s__part(V__FUNNEL,V__A)
       &
       s__attribute(V__FUNNEL,s__ConeSegment) &
       s__top(V__TOP,V__FUNNEL)
     &
     s__bottom(V__BOTTOM,V__FUNNEL)
   &
   s__instance(V__C,s__Cloud) &
   s__bottom(V__BASE,V__C)
&
s__meetsSpatially(V__TOP,V__BASE)
&
s__meetsSpatially(V__BOTTOM,V__G)))))))
)
)

Weather.kif 1650-1671
( ! [V__E,V__TSC] :
   (((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
( ! [V__WH,V__SWH,V__WW] :
   (((s__instance(V__WH,s__LengthMeasure) &
         s__instance(V__SWH,s__RealNumber))
       =>
       (((s__instance(V__WW,s__WaterWave) &
             s__waveHeight(V__WW,V__WH))
         =>
         (( ? [V__LIST, V__WA, V__U] :
             ((s__instance(V__LIST,s__List) &
                 (s__inList(V__WH,V__LIST)
                 &
                 s__instance(V__WA,s__WaterArea) &
                 s__eventLocated(V__WW,V__WA)
               &
               s__instance(V__U,s__LengthMeasure) &
               s__significantWaveHeight(V__WA,s__WhenFn(V__WW)
            ,s__MeasureFn(V__SWH,V__U))
         &
         (V__SWH = s__MultiplicationFn(n__4,s__StandardDeviationFn(V__LIST)))))))))))
)
)

Weather.kif 1531-1546
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29078-29107

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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