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

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 3986-3988
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__eventLocated__m,s__CaseRole)

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

s__instance(s__eventLocated__m,s__TotalValuedRelation)

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

Merge.kif 3982-3982 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 1853-1853

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 15558-15568
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 16335-16350
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 15604-15613
( ! [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 25278-25286
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24847-24859
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 3432-3440
( ! [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 22247-22252
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 28729-28758

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