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 3940-3942
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__eventLocated__m,s__CaseRole)

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

s__instance(s__eventLocated__m,s__TotalValuedRelation)

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

Merge.kif 3936-3936 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 3327-3327
s__format(s__ChineseTraditionalLanguage,s__eventLocated__m,'"%1 是 located 在 2 "')

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

domainEnglishFormat.kif 3325-3325
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 1154-1171
( ! [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 1818-1823
( ! [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 1825-1830
( ! [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 503-509
( ! [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 493-501
( ! [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 554-560
( ! [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 544-552
( ! [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 528-536
( ! [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 517-526
( ! [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 14365-14375
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
No TPTP formula. May not be expressible in strict first order. Weather.kif 1008-1021
( ! [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 985-996
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 1315-1344
No TPTP formula. May not be expressible in strict first order. Cars.kif 1891-1907
No TPTP formula. May not be expressible in strict first order. Cars.kif 1864-1880
No TPTP formula. May not be expressible in strict first order. Cars.kif 1933-1952
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15142-15154
( ! [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
No TPTP formula. May not be expressible in strict first order. Cars.kif 191-200
( ! [V__C,V__F,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__C,V__F,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

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 14409-14418
( ! [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 1154-1171
( ! [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 24713-24721
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24160-24172
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 4030-4038
( ! [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 985-996
( ! [V__DUSTSTORM] :
   ((s__instance(V__DUSTSTORM,s__DustStorm) &
       s__instance(V__WIND,s__Wind) &
       s__subProcess(V__DUSTSTORM,V__WIND))
   =>
   ( ? [V__WIND, V__TRANSLOCATE, V__PM, V__SAND, V__A1, V__A2, V__STRONG] :
     ((s__instance(V__WIND,s__Process) &
         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 902-923
No TPTP formula. May not be expressible in strict first order. Cars.kif 1713-1729
( ! [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
( ! [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__Object) &
           (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__Object) &
           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 21430-21435
No TPTP formula. May not be expressible in strict first order. Dining.kif 1174-1193
( ! [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 2273-2281
No TPTP formula. May not be expressible in strict first order. naics.kif 11379-11391
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28196-28225
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24576-24594
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25182-25208
No TPTP formula. May not be expressible in strict first order. Merge.kif 4169-4179
( ! [V__AREA] :
   (s__instance(V__AREA,s__Object) =>
     s__attribute(V__AREA,s__FertileTerrain) =>
     s__capability(s__Agriculture,s__eventLocated__m,V__AREA)
   )
)

Geography.kif 1784-1786

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