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

Formal Language: 



KB Term:  Term intersection
English Word: 

  eventPartlyLocated

Sigma KEE - eventPartlyLocated
eventPartlyLocated

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


s__documentation(s__eventPartlyLocated__m,s__ChineseLanguage,'"(eventPartlyLocated ?PROC ?OBJ) 的意思是 Process ?PROC 的某些 subProcess 是位于 Object ?OBJ。"')

chinese_format.kif 2113-2114
s__documentation(s__eventPartlyLocated__m,s__EnglishLanguage,'"(eventPartlyLocated ?PROC ?OBJ) means that some subProcess of Process ?PROC is located in Object ?OBJ."')

Merge.kif 3996-3997
s__domain(s__eventPartlyLocated__m,n__1,s__Process)

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

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

s__instance(s__CaseRole,s__Class)

Merge.kif 3986-3986 event partly located is an instance of case role
s__instance(s__PartialValuedRelation,s__Class)

s__instance(s__eventPartlyLocated__m,s__PartialValuedRelation)

Merge.kif 3987-3987 event partly located is an instance of partial valued relation
s__subrelation(s__eventPartlyLocated__m,s__involvedInEvent__m)

Merge.kif 4014-4014 event partly located is a subrelation of involved in event

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


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

domainEnglishFormat.kif 3335-3335
s__format(s__ChineseTraditionalLanguage,s__eventPartlyLocated__m,'"%1 是 partly located 在 %2 "')

domainEnglishFormat.kif 3334-3334
s__format(s__EnglishLanguage,s__eventPartlyLocated__m,'"%1 is partly located at %2"')

domainEnglishFormat.kif 3333-3333
s__subrelation(s__eventLocated__m,s__eventPartlyLocated__m)

Merge.kif 4016-4016 event located is a subrelation of event partly located
s__subrelation(s__path__m,s__eventPartlyLocated__m)

Merge.kif 10641-10641 path is a subrelation of event partly located
s__termFormat(s__EnglishLanguage,s__eventPartlyLocated__m,'"event partly located"')

english_format.kif 1843-1843

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 477-483
( ! [V__OBJ,V__PROC] :
   (((s__instance(V__OBJ,s__Object) &
         s__instance(V__PROC,s__Process))
       =>
       ((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 3999-4004
( ! [V__OJB,V__PROC] :
   (((s__instance(V__OJB,s__Object) &
         s__instance(V__PROC,s__Process))
       =>
       ((s__eventPartlyLocated(V__PROC,V__OJB)
         =>
         (s__partlyLocated(V__PROC,V__OJB)))))
)
)

Merge.kif 3989-3991

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3714-3754
( ! [V__DIST,V__TIME,V__PLACE,V__DIRECTION] :
   (((s__instance(V__DIST,s__LengthMeasure) &
         s__instance(V__TIME,s__TimeDuration) &
         s__instance(V__DIRECTION,s__DirectionalAttribute))
       =>
       (((s__surfaceWindVelocity(V__PLACE,s__SpeedFn(V__DIST,V__TIME)
          ,V__DIRECTION)
         &
         s__instance(V__PLACE,s__WindFlow))
       =>
       (( ? [V__BLOW] :
           ((s__instance(V__BLOW,s__Wind) &
               s__eventPartlyLocated(V__BLOW,V__PLACE)
             &
             s__measure(V__BLOW,s__VelocityFn(V__DIST,V__TIME,V__PLACE,V__DIRECTION)))))))))
)
)

Weather.kif 115-123
( ! [V__PROCESS,V__LOC] :
   (((s__instance(V__PROCESS,s__Process) &
         s__instance(V__LOC,s__Object))
       =>
       ((s__destination(V__PROCESS,V__LOC)
         =>
         (s__eventPartlyLocated(V__PROCESS,V__LOC)))))
)
)

Merge.kif 4010-4012
( ! [V__PROCESS,V__LOC] :
   (((s__instance(V__PROCESS,s__Process) &
         s__instance(V__LOC,s__Object))
       =>
       ((s__origin(V__PROCESS,V__LOC)
         =>
         (s__eventPartlyLocated(V__PROCESS,V__LOC)))))
)
)

Merge.kif 4006-4008
( ! [V__DIR,V__PLACE] :
   (((s__instance(V__DIR,s__DirectionalAttribute) &
         s__instance(V__PLACE,s__Object))
       =>
       ((s__surfaceWindDirection(V__PLACE,V__DIR)
         =>
         (( ? [V__WIND, V__FROM] :
             ((s__instance(V__WIND,s__Wind) &
                 s__instance(V__FROM,s__Region) &
                 s__eventPartlyLocated(V__WIND,V__PLACE)
               &
               s__origin(V__WIND,V__FROM)
             &
             s__orientation(V__FROM,V__PLACE,V__DIR))))))))
)
)

Weather.kif 178-186


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