Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - eventLocated
eventLocated

appearance as argument number 1
-------------------------


s__subrelation(s__eventLocated,s__eventPartlyLocated)

 Merge.kif 4225-4225 event located is a subrelation of event partly located
s__domain(s__eventLocated,n__1,s__Process)

 Merge.kif 4226-4226 The number 1 argument of event located is an instance of process
s__domain(s__eventLocated,n__2,s__Object)

 Merge.kif 4227-4227 The number 2 argument of event located is an instance of object
s__instance(s__eventLocated,s__CaseRole)

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

 Merge.kif 4229-4229 event located is an instance of total valued relation
s__documentation(s__eventLocated, 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 4231-4233 event located is an instance of total valued relation

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


s__format(s__EnglishLanguage, s__eventLocated, "%1 is located at %2") domainEnglishFormat.kif 3322-3322
s__format(s__ChineseTraditionalLanguage, s__eventLocated, "%1 是 located 在 %2 ") domainEnglishFormat.kif 3323-3323
s__format(s__ChineseLanguage, s__eventLocated, "%1 是 located 在 %2 ") domainEnglishFormat.kif 3324-3324
s__termFormat(s__EnglishLanguage, s__eventLocated, "event located") english_format.kif 1849-1849

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


! [V__PROCESS,V__OBJ] :
(((s__instance(V__PROCESS,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__eventLocated(V__PROCESS,V__OBJ)
     =>
     (! [V__SUB] :
       ((s__instance(V__SUB,s__Process) =>
           (s__subProcess(V__SUB,V__PROCESS)
           =>
           s__eventLocated(V__SUB,V__OBJ)))))))
)

 Merge.kif 4235-4240 If X is located at Y, then For all Process Z: if Z is a subprocess of X, then Z is located at Y
! [V__L : $i,V__P : $i,V__T : $i,V__X : $i] : (((s__prevents(V__X, V__P) & s__WhenFn(V__X) = V__T & s__eventLocated(V__X, V__L)) => ~(s__holdsDuring(V__T, ( ? [V__Y:$i] : ((s__instance(V__Y, V__P) & s__eventLocated(V__Y, V__L)))))))) Merge.kif 4489-4499 If X prevents the occurrence of Y, equal the time of existence of X and Z, and X is located at W, then there doesn't exist V such that V is an instance of Y and V is located at W doesn't hold during Z
! [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 18380-18390 If X is an instance of art school, Y is an instance of educational process, and Y is located at X, then there exist Z, W such that Z is an instance of making, W is a patient of Z, W is an instance of art work, and Y includes a reference to Z
! [V__F : $i,V__P : $i] : (((s__instance(V__F, s__Flooding) & s__eventLocated(V__F, V__P)) => ( ? [V__L1:$real, V__L2:$real, V__U:$i] : ((s__instance(V__U, s__UnitOfLength) & s__holdsDuring(s__BeginFn(s__WhenFn(V__F)), s__waterDepth(V__P, s__MeasureFn(V__L1, V__U))) & s__holdsDuring(s__EndFn(s__WhenFn(V__F)), s__waterDepth(V__P, s__MeasureFn(V__L2, V__U))) & ($greater(V__L2,V__L1))))))) Mid-level-ontology.kif 19505-19520 If X is an instance of flooding and X is located at Y, then there exist Z, W and V such that V is an instance of unit of length and Z V(s) is a water depth of Y holds during the beginning of the time of existence of X and W V(s) is a water depth of Y holds during the end of the time of existence of X and W is greater than Z
! [V__OBJ,V__ROLE,V__EVENT,V__CLASS,V__TIME,V__PLACE] :
(((s__instance(V__OBJ,s__Object) &
       s__instance(V__ROLE,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__CLASS,s__Class) &
       s__subclass(V__CLASS,s__Process) &
       s__instance(V__TIME,s__TimePosition) &
       s__instance(V__PLACE,s__Object))
     =>
     ((s__playsRoleInEvent(V__OBJ,V__ROLE,V__EVENT)
       &
       s__instance(V__EVENT,V__CLASS)
     &
     s__subclass(V__CLASS,s__Process) &
     s__time(V__EVENT,V__TIME)
   &
   s__eventLocated(V__EVENT,V__PLACE))
=>
s__playsRoleInEventOfType(V__OBJ,V__ROLE,V__CLASS,V__TIME,V__PLACE)))
)

 Mid-level-ontology.kif 25578-25585 If X plays role in event Y for Z, Z is an instance of W, W is a subclass of process, Z exists during V, and Z is located at U, then X plays role in event of type Y for W with V and U
! [V__OBJ,V__ROLE,V__EVENT,V__TYPE,V__TIME,V__PLACE] :
(((s__instance(V__OBJ,s__Object) &
       s__instance(V__ROLE,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__TYPE,s__Class) &
       s__subclass(V__TYPE,s__Process) &
       s__instance(V__TIME,s__TimePosition) &
       s__instance(V__PLACE,s__Object))
     =>
     ((s__playsRoleInEvent(V__OBJ,V__ROLE,V__EVENT)
       &
       s__instance(V__EVENT,V__TYPE)
     &
     s__subclass(V__TYPE,s__Process) &
     s__time(V__EVENT,V__TIME)
   &
   s__eventLocated(V__EVENT,V__PLACE))
=>
s__playsRoleInEventOfType(V__OBJ,V__ROLE,V__TYPE,V__TIME,V__PLACE)))
)

 Mid-level-ontology.kif 25607-25614 If X plays role in event Y for Z, Z is an instance of W, W is a subclass of process, Z exists during V, and Z is located at U, then X plays role in event of type Y for W with V and U
! [V__OBJ,V__ROLE,V__EVENT,V__TIME,V__PLACE] :
(((s__instance(V__OBJ,s__Object) &
       s__instance(V__ROLE,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__TIME,s__TimePosition) &
       s__instance(V__PLACE,s__Object))
     =>
     ((s__playsRoleInEvent(V__OBJ,V__ROLE,V__EVENT)
       &
       s__time(V__EVENT,V__TIME)
     &
     s__eventLocated(V__EVENT,V__PLACE))
=>
s__locatedAtTime(V__OBJ,V__TIME,V__PLACE)))
)

 Mid-level-ontology.kif 25630-25635 If X plays role in event Y for Z, Z exists during W, and Z is located at V, then X located at time W for V
! [V__LOC,V__SUB,V__PROC] :
(((s__instance(V__LOC,s__Object) &
       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 25824-25829 If X is an instance of process, X is located at Y, and Z is a subprocess of X, then Z is located at Y
! [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 124-137 If X is an instance of four stroke intake, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of fuel vapor, V is a subprocess of X, V ends up at Z, and W is a patient of V
! [V__C : $i,V__F : $i,V__I : $i] : (((s__instance(V__F, s__FourStrokeCompression) & s__instance(V__C, s__EngineCylinder) & s__instance(V__I, s__InternalCombustionChamber) & V__C = s__HoleHostFn(V__I) & s__eventLocated(V__F, V__C)) => s__holdsDuring(s__EndFn(s__WhenFn(V__F)), s__attribute(V__I, s__Pressurized)))) Cars.kif 144-153 If X is an instance of four stroke compression, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then pressurized is an attribute of Z holds during the end of the time of existence of X
! [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 160-170 If X is an instance of four stroke combustion, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exists W such that W is an instance of burning and W is a subprocess of X
! [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 178-191 If X is an instance of four stroke exhaust, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of exhaust, V is a subprocess of X, V originates at Z, and W is a patient of V
! [V__E : $i,V__I : $i,V__P : $i,V__T : $i] : (((s__instance(V__E, s__EngineCylinder) & s__instance(V__I, s__InternalCombustionChamber) & s__instance(V__P, s__Piston) & s__instance(V__T, s__TwoStrokeIntake) & s__holdsDuring(V__T, s__located(V__P, V__E)) & V__E = s__HoleHostFn(V__I) & s__eventLocated(V__T, V__E)) => s__hasPurpose(V__P, s__holdsDuring(V__T, s__partiallyFills(V__P, V__I))))) Cars.kif 416-428 If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of internal combustion chamber (3) Z is an instance of piston (4) W is an instance of two stroke intake (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W
! [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 444-453 If X is an instance of two stroke compression, X is located at Y, and Y is an instance of two stroke engine, then there exists Z such that Z is an instance of explosion, Z takes place during X, and Z is located at Y
! [V__C : $i,V__E : $i,V__P : $i,V__T : $i] : (((s__instance(V__E, s__EngineCylinder) & s__instance(V__C, s__Crankcase) & s__instance(V__P, s__Piston) & s__instance(V__T, s__TwoStrokeTransfer) & s__holdsDuring(V__T, s__located(V__P, V__E)) & V__E = s__HoleHostFn(V__C) & s__eventLocated(V__T, V__E)) => s__hasPurpose(V__P, s__holdsDuring(V__T, s__partiallyFills(V__P, V__C))))) Cars.kif 462-474 If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of crankcase (3) Z is an instance of piston (4) W is an instance of two stroke transfer (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W
! [V__T,V__C,V__I] :
(((s__instance(V__T,s__TwoStrokeTransfer) &
       s__instance(V__C,s__EngineCylinder) &
       s__instance(V__I,s__InternalCombustionChamber) &
       (V__C = s__HoleHostFn(V__I))
     &
     s__eventLocated(V__T,V__C))
=>
(? [V__E,V__M] :
   ((s__instance(V__M,s__GasMotion) &
       s__instance(V__E,s__Exhaust) &
       s__subProcess(V__M,V__T)
     &
     s__origin(V__M,V__I)
   &
   s__patient(V__M,V__E)))))
)

 Cars.kif 476-489 If X is an instance of two stroke transfer, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of exhaust, V is a subprocess of X, V originates at Z, and W is a patient of V
! [V__BP : $i,V__P : $i,V__V : $i] : (((s__instance(V__BP, s__BrakePedal) & s__instance(V__P, s__Pushing) & s__instance(V__V, s__Vehicle) & s__destination(V__P, V__BP) & s__eventLocated(V__P, V__V) & s__part(V__BP, V__V)) => s__hasPurpose(V__BP, ( ? [V__FS:$i, V__F:$i] : ((s__instance(V__FS, s__WearingFrictionSurface) & s__instance(V__F, s__Friction) & s__instrument(V__F, V__FS) & s__causes(V__P, V__F))))))) Cars.kif 630-644 If All of the following hold: (1) X is an instance of brake pedal (2) Y is an instance of pushing (3) Z is an instance of vehicle (4) Y ends up at X (5) Y is located at Z (6) X is a part of Z, then X has the purpose there exist W, V such that W is an instance of wearing friction surface, V is an instance of friction, W is an instrument for V, and Y causes V
! [V__A1 : $i,V__A1M : $real,V__A2 : $i,V__A2M : $real,V__C : $i,V__EC : $i,V__F1 : $i,V__F1M : $real,V__F2 : $i,V__F2M : $real,V__FSC1 : $i,V__FSC2 : $i,V__M : $i,V__MIX1 : $i,V__MIX2 : $i,V__U : $i] : (((s__instance(V__EC, s__EngineChoke) & s__holdsDuring(V__FSC1, s__attribute(V__EC, s__DeviceOn)) & s__holdsDuring(V__FSC2, s__attribute(V__EC, s__DeviceOff)) & s__instance(V__C, s__EngineCylinder) & s__capacity(V__C, V__M) & s__instance(V__FSC1, s__FourStrokeCompression) & s__instance(V__FSC2, s__FourStrokeCompression) & s__eventLocated(V__FSC1, V__C) & s__eventLocated(V__FSC2, V__C) & s__instance(V__A1, s__Air) & s__instance(V__F1, s__Fuel) & s__part(V__A1, V__MIX1) & s__part(V__F1, V__MIX1) & s__measure(V__MIX1, V__M) & s__instance(V__A2, s__Air) & s__instance(V__F2, s__Fuel) & s__part(V__A2, V__MIX2) & s__part(V__F2, V__MIX2) & s__measure(V__MIX2, V__M) & s__instance(V__U, s__UnitOfMeasure) & s__measure(V__A1, s__MeasureFn(V__A1M, V__U)) & s__measure(V__A2, s__MeasureFn(V__A2M, V__U)) & s__measure(V__F1, s__MeasureFn(V__F1M, V__U)) & s__measure(V__F2, s__MeasureFn(V__F2M, V__U))) => ($greater(s__DivisionFn(V__A2M, V__F2M),s__DivisionFn(V__A1M, V__F1M))))) Cars.kif 1253-1287 If All of the following hold: (1) X is an instance of engine choke (2) device on is an attribute of X holds during Y (3) device off is an attribute of X holds during Z (4) W is an instance of engine cylinder (5) V is a capacity of W (6) Y is an instance of four stroke compression (7) Z is an instance of four stroke compression (8) Y is located at W (9) Z is located at W (10) U is an instance of air (11) T is an instance of fuel (12) U is a part of S (13) T is a part of S (14) the measure of S is V (15) R is an instance of air (16) Q is an instance of fuel (17) R is a part of P (18) Q is a part of P (19) the measure of P is V (20) O is an instance of unit of measure (21) the measure of U is N O(s) (22) the measure of R is M O(s) (23) the measure of T is L O(s) (24) the measure of Q is K O(s), then M, K is greater than N, and L
! [V__CC : $i,V__E : $i,V__EC : $i,V__U : $i,V__V1 : $real] : (((s__instance(V__EC, s__EngineCycle) & s__instance(V__E, s__InternalCombustionEngine) & s__instance(V__CC, s__CombustionChamber) & s__part(V__CC, V__E) & s__eventLocated(V__EC, V__E) & s__instance(V__U, s__UnitOfVolume) & s__holdsDuring(s__WhenFn(V__EC), s__minCylinderVolume(V__E, s__MeasureFn(V__V1, V__U)))) => ~(( ? [V__V2:$real, V__T:$i] : ((s__during(V__T, s__WhenFn(V__EC)) & s__holdsDuring(V__T, s__measure(V__CC, s__MeasureFn(V__V2, V__U))) & ($greater(V__V1,V__V2)))))))) Cars.kif 1732-1751 If All of the following hold: (1) X is an instance of engine cycle (2) Y is an instance of internal combustion engine (3) Z is an instance of combustion chamber (4) Z is a part of Y (5) X is located at Y (6) W is an instance of unit of volume (7) the minimum volume of the cylinders in the engine Y is V W(s) holds during the time of existence of X, then there don't exist U and T such that T takes place during the time of existence of X and the measure of Z is U W(s) holds during T and V is greater than U
! [V__CC : $i,V__E : $i,V__EC : $i,V__U : $i,V__V1 : $real] : (((s__instance(V__EC, s__EngineCycle) & s__instance(V__E, s__InternalCombustionEngine) & s__instance(V__CC, s__CombustionChamber) & s__part(V__CC, V__E) & s__eventLocated(V__EC, V__E) & s__instance(V__U, s__UnitOfVolume) & s__holdsDuring(s__WhenFn(V__EC), s__maxCylinderVolume(V__E, s__MeasureFn(V__V1, V__U)))) => ~(( ? [V__V2:$real, V__T:$i] : ((s__during(V__T, s__WhenFn(V__EC)) & s__holdsDuring(V__T, s__measure(V__CC, s__MeasureFn(V__V2, V__U))) & ($greater(V__V2,V__V1)))))))) Cars.kif 1762-1781 If All of the following hold: (1) X is an instance of engine cycle (2) Y is an instance of internal combustion engine (3) Z is an instance of combustion chamber (4) Z is a part of Y (5) X is located at Y (6) W is an instance of unit of volume (7) the maximum volume of the cylinders in the engine Y is V W(s) holds during the time of existence of X, then there don't exist U and T such that T takes place during the time of existence of X and the measure of Z is U W(s) holds during T and U is greater than V
! [V__E : $i,V__EC : $i,V__LM : $real,V__P : $i,V__U : $i] : (((s__instance(V__EC, s__EngineCycle) & s__instance(V__E, s__InternalCombustionEngine) & s__instance(V__P, s__Piston) & s__instance(V__U, s__UnitOfLength) & s__part(V__P, V__E) & s__patient(V__EC, V__P) & s__eventLocated(V__EC, V__E) & s__pistonStroke(V__E, s__MeasureFn(V__LM, V__U))) => ~(( ? [V__T1:$i, V__T2:$i, V__L1:$i, V__L2:$i, V__D:$real] : ((s__during(V__T1, s__WhenFn(V__EC)) & s__during(V__T2, s__WhenFn(V__EC)) & s__holdsDuring(V__T1, s__located(V__P, V__L1)) & s__holdsDuring(V__T2, s__located(V__P, V__L2)) & s__distance(V__L1, V__L2, s__MeasureFn(V__D, V__U)) & ($greater(V__D,V__LM)))))))) Cars.kif 1807-1829 If All of the following hold: (1) X is an instance of engine cycle (2) Y is an instance of internal combustion engine (3) Z is an instance of piston (4) W is an instance of unit of length (5) Z is a part of Y (6) Z is a patient of X (7) X is located at Y (8) the maximum distance that the pistons of engine Y travel is V W(s), then there don't exist U, T,, , S,, , R and Q such that U takes place during the time of existence of X and T takes place during the time of existence of X and Z is located at S holds during U and Z is located at R holds during T and the distance between S and R is Q W(s) and Q is greater than V
! [V__ITEM,V__LOC1,V__AGENT,V__LOC2,V__X,V__E] :
(((s__instance(V__ITEM,s__Physical) &
       s__instance(V__LOC1,s__Object) &
       s__instance(V__AGENT,s__AutonomousAgent) &
       s__instance(V__LOC2,s__Object))
     =>
     ((s__instance(V__X,s__Buffet) &
         s__member(V__ITEM,V__X)
       &
       s__located(V__X,V__LOC1)
     &
     s__instance(V__E,s__Eating) &
     s__agent(V__E,V__AGENT)
   &
   s__eventLocated(V__E,V__LOC2)
&
s__patient(V__E,V__ITEM))
=>
(~((V__LOC1 = V__LOC2))
&
(? [V__G] :
((s__instance(V__G,s__Getting) &
     s__patient(V__G,V__ITEM)
   &
   s__origin(V__G,V__LOC1)
&
s__agent(V__G,V__AGENT)
&
s__before(s__WhenFn(V__G)
,s__WhenFn(V__E))))))))
)

 Dining.kif 274-291 If All of the following hold: (1) X is an instance of buffet (2) Y is a member of X (3) X is located at Z (4) W is an instance of eating (5) V is an agent of W (6) W is located at U (7) Y is a patient of W, then equal Z and U and there exists T such that T is an instance of getting, Y is a patient of T, T originates at Z, V is an agent of T, and the time of existence of T happens before the time of existence of W
! [V__AGENT,V__CUST,V__LOC1,V__LOC2,V__C] :
(((s__instance(V__AGENT,s__AutonomousAgent) &
       s__instance(V__CUST,s__CognitiveAgent) &
       s__instance(V__LOC1,s__Object) &
       s__instance(V__LOC2,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 586-602 If All of the following hold: (1) X is an instance of catering (2) Y is an agent of X (3) X ends up at Z (4) Y is located at W (5) Y is a customer of Z (6) All of the following hold: (1) there exist V, U (2) T such that V is an instance of cooking (3) Y is an agent of V (4) U is a result of V (5) U is a patient of X (6) T is an instance of eating (7) Z is an agent of T (8) T is located at S, then equal W and S
! [V__E1 : $i,V__GRP1 : $i,V__X : $i] : (((s__attribute(V__X, s__CommunalAttribute) & s__instance(V__X, s__Table) & s__instance(V__E1, s__Eating) & s__agent(V__E1, V__GRP1) & s__instance(V__GRP1, s__GroupOfPeople) & s__eventLocated(V__E1, V__X)) => s__modalAttribute(( ? [V__GRP2:$i, V__E2:$i, V__X2:$i] : ((s__instance(V__E2, s__Eating) & s__agent(V__E2, V__GRP2) & ~(V__GRP1 = V__GRP2) & s__instance(V__GRP2, s__GroupOfPeople) & s__eventLocated(V__E2, V__X2) & s__meetsTemporally(s__WhenFn(V__E1), s__WhenFn(V__E2)) & V__X = V__X2))), s__Possibility))) Dining.kif 1210-1227 If All of the following hold: (1) communal is an attribute of X (2) X is an instance of table (3) Y is an instance of eating (4) Z is an agent of Y (5) Z is an instance of group of people (6) Y is located at X, then All of the following hold: (1) the statement there exist W, V (2) U such that V is an instance of eating (3) W is an agent of V (4) equal Z (5) W (6) W is an instance of group of people (7) V is located at U (8) the time of existence of Y meets the time of existence of V (9) equal X (10) U has the modal force of possibility
! [V__P,V__X] :
(((s__instance(V__P,s__ProductAssembly) &
       s__eventLocated(V__P,V__X)
     &
     s__instance(V__X,s__AssemblyStation))
   =>
   (s__instance(V__P,s__Attaching) |
     s__instance(V__P,s__Combining)))
)

 Economy.kif 2135-2142 If X is an instance of Product assembly, X is located at Y, and Y is an instance of assembly station, then X is an instance of attaching or X is an instance of combining

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


! [V__ERUPTING] :
((s__instance(V__ERUPTING,s__VolcanicEruption) =>
     (? [V__VOLCANO] :
       ((s__instance(V__VOLCANO,s__Volcano) &
           s__eventLocated(V__ERUPTING,V__VOLCANO)))))
)

 Merge.kif 1041-1046 If X is an instance of volcanic eruption, then there exists Y such that Y is an instance of volcano and X is located at Y
! [V__PROC,V__OBJ] :
(((s__instance(V__PROC,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__eventPartlyLocated(V__PROC,V__OBJ)
     =>
     (? [V__SUB] :
       ((s__instance(V__SUB,s__Process) &
           (s__subProcess(V__SUB,V__PROC)
           &
           s__eventLocated(V__SUB,V__OBJ)))))))
)

 Merge.kif 4208-4213 If X is partly located at Y, then there exists Z such that Z is a subprocess of X and Z is located at Y
! [V__PROCESS,V__OBJ] :
(((s__instance(V__PROCESS,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__eventLocated(V__PROCESS,V__OBJ)
     =>
     (! [V__SUB] :
       ((s__instance(V__SUB,s__Process) =>
           (s__subProcess(V__SUB,V__PROCESS)
           =>
           s__eventLocated(V__SUB,V__OBJ)))))))
)

 Merge.kif 4235-4240 If X is located at Y, then For all Process Z: if Z is a subprocess of X, then Z is located at Y
! [V__PROC1 : $i,V__PROC2 : $i] : ((s__hindersSubclass(V__PROC1, V__PROC2) => ( ! [V__TIME:$i, V__PLACE:$i] : (s__decreasesLikelihood(s__holdsDuring(V__TIME, ( ? [V__INST1:$i] : ((s__instance(V__INST1, V__PROC1) & s__eventLocated(V__INST1, V__PLACE))))), s__holdsDuring(V__TIME, ( ? [V__INST2:$i] : ((s__instance(V__INST2, V__PROC2) & s__eventLocated(V__INST2, V__PLACE)))))))))) Merge.kif 4433-4446 If instances of X hinder instances of Y, then For all Entities Z and W: there exists V such that V is an instance of X, V is located at W holds during Z decreases likelihood of there exists U such that U is an instance of Y, and U is located at W holds during Z
! [V__PROC1 : $i,V__PROC2 : $i] : ((s__preventsSubclass(V__PROC1, V__PROC2) => ( ! [V__TIME:$i, V__PLACE:$i] : ((s__holdsDuring(V__TIME, ( ? [V__INST1:$i] : ((s__instance(V__INST1, V__PROC1) & s__eventLocated(V__INST1, V__PLACE))))) => ~(s__holdsDuring(V__TIME, ( ? [V__INST2:$i] : ((s__instance(V__INST2, V__PROC2) & s__eventLocated(V__INST2, V__PLACE))))))))))) Merge.kif 4462-4476 If instances of X prevent instances of Y, then For all TimePosition Z and Entity W: if there exists V such that V is an instance of X and V is located at W holds during Z, then there doesn't exist U such that U is an instance of Y and U is located at W doesn't hold during Z
! [V__L : $i,V__P : $i,V__T : $i,V__X : $i] : (((s__prevents(V__X, V__P) & s__WhenFn(V__X) = V__T & s__eventLocated(V__X, V__L)) => ~(s__holdsDuring(V__T, ( ? [V__Y:$i] : ((s__instance(V__Y, V__P) & s__eventLocated(V__Y, V__L)))))))) Merge.kif 4489-4499 If X prevents the occurrence of Y, equal the time of existence of X and Z, and X is located at W, then there doesn't exist V such that V is an instance of Y and V is located at W doesn't hold during Z
! [V__PROC : $i,V__X : $i] : ((s__hinders(V__X, V__PROC) => ( ? [V__L:$i, V__T:$i] : (s__decreasesLikelihood((s__WhenFn(V__X) = V__T & s__eventLocated(V__X, V__L)), s__holdsDuring(V__T, ( ? [V__Y:$i] : ((s__instance(V__Y, V__PROC) & s__eventLocated(V__Y, V__L)))))))))) Merge.kif 4511-4522 If X hinders Y, then there exist Z, W such that equal the time of existence of X, W, X is located at Z decreases likelihood of there exists V such that V is an instance of Y, and V is located at Z holds during W
! [V__PROCESS,V__OBJ] :
(((s__instance(V__PROCESS,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__origin(V__PROCESS,V__OBJ)
     =>
     s__eventLocated(s__WhereFn(V__PROCESS,s__BeginFn(s__WhenFn(V__PROCESS)))
,s__WhereFn(V__OBJ,s__BeginFn(s__WhenFn(V__OBJ))))))
)

 Merge.kif 8162-8170 If X originates at Y, then the place where X was at the beginning of the time of existence of X is located at the place where Y was at the beginning of the time of existence of Y
! [V__PROC] :
((s__instance(V__PROC,s__BiologicalProcess) =>
     (? [V__OBJ] :
       ((s__instance(V__OBJ,s__Organism) &
           s__eventLocated(V__PROC,V__OBJ)))))
)

 Merge.kif 10362-10367 If X is an instance of biological process, then there exists Y such that Y is an instance of organism and X is located at Y
! [V__PROC] :
((s__instance(V__PROC,s__OrganOrTissueProcess) =>
     (? [V__THING] :
       ((s__eventLocated(V__PROC,V__THING)
         &
         (s__instance(V__THING,s__Organ) |
           s__instance(V__THING,s__Tissue))))))
)

 Merge.kif 10401-10408 If X is an instance of organ or tissue process, then there exists Y such that X is located at Y and Y is an instance of organ or Y is an instance of tissue
! [V__WAY : $i] : ((s__instance(V__WAY, s__LandTransitway) => s__hasPurpose(V__WAY, ( ? [V__MOVE:$i, V__LAND:$i] : ((s__instance(V__MOVE, s__Translocation) & s__path(V__MOVE, V__WAY) & s__eventLocated(V__MOVE, V__LAND) & s__instance(V__LAND, s__LandArea))))))) Merge.kif 14603-14611 If X is an instance of land transitway, then X has the purpose there exist Y, Z such that Y is an instance of translocation, X is path along which Y occurs, Y is located at Z, and Z is an instance of land area
! [V__P] :
((s__instance(V__P,s__Wading) =>
     (? [V__W] :
       ((s__instance(V__W,s__WaterArea) &
           s__eventLocated(V__P,V__W)))))
)

 Mid-level-ontology.kif 519-524 If X is an instance of wading, then there exists Y such that Y is an instance of water area and X is located at Y
! [V__S,V__G] :
(((s__instance(V__S,s__Shooting) &
       s__instance(V__G,s__Gun) &
       s__instrument(V__S,V__G))
   =>
   (? [V__E,V__GB,V__B,V__C,V__M] :
     ((s__subProcess(V__E,V__S)
       &
       s__instance(V__E,s__Exiting) &
       s__eventLocated(V__E,V__GB)
     &
     s__instance(V__GB,s__GunBarrel) &
     s__part(V__GB,V__G)
   &
   s__objectTransferred(V__E,V__B)
&
s__instance(V__B,s__Bullet) &
s__origin(V__B,V__C)
&
s__instance(V__C,s__BulletCartridge) &
s__located(V__C,V__GB)
&
s__path(V__E,V__GB)
&
s__entrance(V__M,V__GB)
&
s__instance(V__M,s__GunMuzzle)))))
)

 Mid-level-ontology.kif 1397-1416 If X is an instance of shooting, Y is an instance of gun, and Y is an instrument for X, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is a subprocess of X (3) Z is an instance of exiting (4) Z is located at W (5) W is an instance of gun barrel (6) W is a part of Y (7) the object transferred in Z is V (8) V is an instance of bullet (9) V originates at U (10) U is an instance of bullet cartridge (11) U is located at W (12) W is path along which Z occurs (13) T is the entrance for W (14) T is an instance of gun muzzle
! [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 4125-4133 If X is an instance of water vehicle, Y is an instance of transportation, and X is an instrument for Y, then there exists Z such that Z is an instance of water area and Y is located at Z
! [V__S : $i] : ((s__instance(V__S, s__Sofa) => s__hasPurpose(V__S, ( ? [V__P1:$i, V__P2:$i, V__T:$i] : ((~(V__P1 = V__P2) & s__instance(V__P1, s__Human) & s__instance(V__P2, s__Human) & s__holdsDuring(V__T, (s__attribute(V__P1, s__Sitting) & s__attribute(V__P2, s__Sitting) & s__eventLocated(V__P1, V__S) & s__eventLocated(V__P2, V__S))))))))) Mid-level-ontology.kif 4400-4413 If X is an instance of sofa, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that equal Y (3) Z (4) Y is an instance of human (5) Z is an instance of human (6) sitting is an attribute of Y (7) sitting is an attribute of Z (8) Y is located at X (9) Z is located at X holds during W
! [V__X : $i] : ((s__instance(V__X, s__Hammock) => s__hasPurpose(V__X, ( ? [V__PROC:$i] : ((s__instance(V__PROC, s__LyingDown) & s__eventLocated(V__PROC, V__X))))))) Mid-level-ontology.kif 4617-4623 If X is an instance of hammock, then X has the purpose there exists Y such that Y is an instance of lying down and Y is located at X
! [V__P : $i] : ((s__instance(V__P, s__SwimmingPool) => s__hasPurpose(V__P, ( ? [V__S:$i] : ((s__instance(V__S, s__Swimming) & s__eventLocated(V__S, V__P))))))) Mid-level-ontology.kif 5340-5346 If X is an instance of swimming pool, then X has the purpose there exists Y such that Y is an instance of swimming and Y is located at X
! [V__NEST : $i] : ((s__instance(V__NEST, s__Nest) => s__hasPurpose(V__NEST, ( ? [V__BIRTH:$i] : ((s__instance(V__BIRTH, s__Birth) & s__eventLocated(V__BIRTH, V__NEST))))))) Mid-level-ontology.kif 6126-6132 If X is an instance of nest, then X has the purpose there exists Y such that Y is an instance of birth and Y is located at X
! [V__H] :
((s__instance(V__H,s__Object) =>
     (s__attribute(V__H,s__Emphysema) =>
       (? [V__L,V__P] :
         ((s__instance(V__L,s__Alveolus) &
             s__part(V__L,V__H)
           &
           s__instance(V__P,s__PathologicProcess) &
           s__eventLocated(V__P,V__L))))))
)

 Mid-level-ontology.kif 7123-7130 If emphysema is an attribute of X, then there exist Y, Z such that Y is an instance of alveolus, Y is a part of X, Z is an instance of pathologic process, and Z is located at Y
! [V__H] :
((s__instance(V__H,s__Object) =>
     (s__attribute(V__H,s__Goiter) =>
       (? [V__G,V__P] :
         ((s__instance(V__G,s__ThyroidGland) &
             s__part(V__G,V__H)
           &
           s__instance(V__P,s__PathologicProcess) &
           s__eventLocated(V__P,V__G))))))
)

 Mid-level-ontology.kif 7294-7301 If a goiter is an attribute of X, then there exist Y, Z such that Y is an instance of thyroid gland, Y is a part of X, Z is an instance of pathologic process, and Z is located at Y
! [V__F : $i] : ((s__instance(V__F, s__Facility) => s__hasPurpose(V__F, ( ? [V__P:$i] : ((s__instance(V__P, s__Process) & s__eventLocated(V__P, V__F))))))) Mid-level-ontology.kif 7849-7855 If X is an instance of Facility, then X has the purpose there exists Y such that Y is an instance of process and Y is located at X
! [V__P : $i] : ((s__instance(V__P, s__Prison) => s__hasPurpose(V__P, ( ? [V__C:$i, V__H:$i, V__G:$i] : ((s__instance(V__C, s__Confining) & s__eventLocated(V__C, V__P) & s__patient(V__C, V__H) & s__instance(V__H, s__Human) & s__agent(V__C, V__G) & s__instance(V__G, s__Government))))))) Mid-level-ontology.kif 8084-8094 If X is an instance of prison, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of confining (3) Y is located at X (4) Z is a patient of Y (5) Z is an instance of human (6) W is an agent of Y (7) W is an instance of government
! [V__P] :
((s__instance(V__P,s__VotingPoll) =>
     (? [V__V] :
       ((s__instance(V__V,s__Voting) &
           s__eventLocated(V__V,V__P)))))
)

 Mid-level-ontology.kif 8117-8122 If X is an instance of voting poll, then there exists Y such that Y is an instance of voting and Y is located at X
! [V__G : $i] : ((s__instance(V__G, s__SportsFacility) => s__hasPurpose(V__G, ( ? [V__S:$i] : ((s__instance(V__S, s__Sport) & s__eventLocated(V__S, V__G))))))) Mid-level-ontology.kif 8327-8333 If X is an instance of sports facility, then X has the purpose there exists Y such that Y is an instance of sport and Y is located at X
! [V__B : $i] : ((s__instance(V__B, s__Warehouse) => s__hasPurpose(V__B, ( ? [V__K:$i, V__P:$i] : ((s__instance(V__K, s__Keeping) & s__patient(V__K, V__P) & s__instance(V__P, s__Product) & s__eventLocated(V__K, V__B))))))) Mid-level-ontology.kif 8370-8378 If X is an instance of warehouse, then X has the purpose there exist Y, Z such that Y is an instance of keeping, Z is a patient of Y, Z is an instance of product, and Y is located at X

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners