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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3962-3963
s__domain(s__eventPartlyLocated__m,n__1,s__Process)

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

Merge.kif 3960-3960 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__SetOrClass)

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

s__instance(s__eventPartlyLocated__m,s__PartialValuedRelation)

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

Merge.kif 3980-3980 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 3982-3982 event located is a subrelation of event partly located
s__subrelation(s__path__m,s__eventPartlyLocated__m)

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

english_format.kif 1852-1852

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 3965-3970
( ! [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 3955-3957

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 3976-3978
( ! [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 3972-3974
( ! [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 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