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 3916-3917
s__domain(s__eventPartlyLocated__m,n__1,s__Process)

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

Merge.kif 3914-3914 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 3906-3906 event partly located is an instance of case role
s__instance(s__PartialValuedRelation,s__SetOrClass)

s__instance(s__eventPartlyLocated__m,s__PartialValuedRelation)

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

Merge.kif 3934-3934 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 3331-3331
s__format(s__ChineseTraditionalLanguage,s__eventPartlyLocated__m,'"%1 是 partly located 在 %2 "')

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

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

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

Merge.kif 10311-10311 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 3919-3924
( ! [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 3909-3911

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3684-3724
( ! [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 105-113
( ! [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 3930-3932
( ! [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 3926-3928
( ! [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 165-173


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