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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - moves
moves

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


s__documentation(s__moves__m,s__ChineseLanguage,'"(moves ?MOTION ?OBJECT)的意思是当 Motion 事件 ?MOTION 发生时, ?OBJECT 移动了。这不一定意味着在 ?MOTION 的过程中, ?OBJECT 位置有所改变。请同时参考 changesLocationTranslocation。"')

chinese_format.kif 2991-2993
s__documentation(s__moves__m,s__EnglishLanguage,'"(moves ?MOTION ?OBJECT) means that during the Motion event ?MOTION, ?OBJECT moves. This does not necessarily imply that the location of ?OBJECT changes during ?MOTION. See also changesLocation and Translocation."')

Merge.kif 10538-10541
s__domain(s__moves__m,n__1,s__Motion)

Merge.kif 10535-10535 The number 1 argument of moves is an instance of motion
s__domain(s__moves__m,n__2,s__Object)

Merge.kif 10536-10536 The number 2 argument of moves is an instance of object
s__instance(s__moves__m,s__CaseRole)

s__instance(s__CaseRole,s__Class)

Merge.kif 10533-10533 moves is an instance of case role
s__instance(s__TotalValuedRelation,s__Class)

s__instance(s__moves__m,s__TotalValuedRelation)

Merge.kif 10534-10534 moves is an instance of total valued relation
s__subrelation(s__moves__m,s__involvedInEvent__m)

Merge.kif 10543-10543 moves is a subrelation of involved in event

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


s__format(s__EnglishLanguage,s__moves__m,'"%2 %n{doesn’t} move%p{s} during %1"')

MilitaryPersons.kif 668-668
s__subrelation(s__changesLocation__m,s__moves__m)

Merge.kif 10556-10556 changes location is a subrelation of moves
s__termFormat(s__ChineseLanguage,s__moves__m,'"移动"')

domainEnglishFormat.kif 39012-39012
s__termFormat(s__ChineseTraditionalLanguage,s__moves__m,'"移動"')

domainEnglishFormat.kif 39011-39011
s__termFormat(s__EnglishLanguage,s__moves__m,'"moves"')

domainEnglishFormat.kif 39010-39010

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


( ! [V__BC,V__AC,V__A,V__B,V__F,V__H,V__PART] :
   (((s__subclass(V__A,s__Muscle) &
         s__instance(V__A,s__Object) &
         s__instance(V__A,s__Class) &
         s__subclass(V__B,s__Muscle) &
         s__instance(V__B,s__Class) &
         s__instance(V__B,s__Object) &
         s__subclass(V__B,s__Process) &
         s__instance(V__PART,s__Object))
       =>
       (((s__antagonistMuscles(V__A,V__B)
           &
           s__instance(V__F,s__Extension) &
           s__instrument(V__F,V__A)
         &
         s__moves(V__F,V__PART)
       &
       s__instance(V__AC,V__A)
     &
     s__instance(V__BC,V__B)
   &
   s__part(V__A,V__H)
&
s__part(V__B,V__H)
&
s__instance(V__H,s__Mammal))
=>
(s__capability(V__B,s__instrument__m,s__Flexion)))))
)
)

Mid-level-ontology.kif 9954-9965
( ! [V__BC,V__AC,V__A,V__B,V__F,V__H,V__PART] :
   (((s__subclass(V__A,s__Muscle) &
         s__instance(V__A,s__Object) &
         s__instance(V__A,s__Class) &
         s__subclass(V__B,s__Muscle) &
         s__instance(V__B,s__Class) &
         s__instance(V__B,s__Object) &
         s__subclass(V__B,s__Process) &
         s__instance(V__PART,s__Object))
       =>
       (((s__antagonistMuscles(V__A,V__B)
           &
           s__instance(V__F,s__Flexion) &
           s__instrument(V__F,V__A)
         &
         s__moves(V__F,V__PART)
       &
       s__instance(V__AC,V__A)
     &
     s__instance(V__BC,V__B)
   &
   s__part(V__A,V__H)
&
s__part(V__B,V__H)
&
s__instance(V__H,s__Mammal))
=>
(s__capability(V__B,s__instrument__m,s__Extension)))))
)
)

Mid-level-ontology.kif 9941-9952
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9212-9234
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9849-9865
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9387-9410
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9357-9378
( ! [V__E,V__BP] :
   ((s__instance(V__BP,s__Object) =>
       (((s__instance(V__E,s__Extension) &
             s__moves(V__E,V__BP))
         =>
         (( ? [V__M, V__MC] :
             ((s__instance(V__M,s__Muscle) &
                 s__instance(V__MC,s__MuscularContraction) &
                 s__instrument(V__E,V__M)
               &
               s__connected(V__M,V__BP)
             &
             s__subProcess(V__MC,V__E))))))))
)
)

Mid-level-ontology.kif 9919-9929
( ! [V__A,V__F,V__BP] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__BP,s__Object))
       =>
       (((s__instance(V__F,s__Flexion) &
             s__agent(V__F,V__A)
           &
           s__moves(V__F,V__BP))
       =>
       (~(( ? [V__E] :
             ((s__instance(V__E,s__Extension) &
                 (s__WhenFn(V__E)
                 = s__WhenFn(V__F))
             &
             s__agent(V__E,V__A)
           &
           s__moves(V__E,V__BP)))))))))
)
)

Mid-level-ontology.kif 9906-9917
( ! [V__F,V__BP] :
   ((s__instance(V__BP,s__Object) =>
       (((s__instance(V__F,s__Flexion) &
             s__moves(V__F,V__BP))
         =>
         (( ? [V__M, V__MC] :
             ((s__instance(V__M,s__Muscle) &
                 s__instance(V__MC,s__MuscularContraction) &
                 s__instrument(V__F,V__M)
               &
               s__connected(V__M,V__BP)
             &
             s__subProcess(V__MC,V__F))))))))
)
)

Mid-level-ontology.kif 9879-9889
( ! [V__OBJ,V__MOTION] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__MOTION,s__BodyMotion) &
             s__moves(V__MOTION,V__OBJ))
         =>
         ((s__instance(V__OBJ,s__BodyPart) &
             s__patient(V__MOTION,V__OBJ))))))
)
)

Merge.kif 10667-10673
No TPTP formula. May not be expressible in strict first order. Merge.kif 10608-10613
No TPTP formula. May not be expressible in strict first order. Merge.kif 10592-10597
( ! [V__P,V__H,V__I] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__P,s__Poison) &
             s__instance(V__I,s__Ingesting) &
             s__moves(V__I,V__P)
           &
           s__experiencer(V__I,V__H))
       =>
       (( ? [V__D] :
           ((s__instance(V__D,s__Damaging) &
               s__experiencer(V__D,V__H)
             &
             s__causes(V__I,V__D))))))))
)
)

Mid-level-ontology.kif 8179-8189
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8203-8214

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9849-9865
( ! [V__A,V__E] :
   ((s__instance(V__A,s__Agent) =>
       (((s__instance(V__E,s__Edema) &
             s__experiencer(V__E,V__A))
         =>
         (( ? [V__T, V__P, V__L] :
             ((s__instance(V__T,s__Transfer) &
                 s__instance(V__L,s__Liquid) &
                 s__instance(V__P,s__BodyPart) &
                 s__part(V__P,V__A)
               &
               s__destination(V__T,V__P)
             &
             s__moves(V__T,V__L)
           &
           s__subProcess(V__T,V__E))))))))
)
)

Mid-level-ontology.kif 9296-9308
( ! [V__A,V__F,V__BP] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__BP,s__Object))
       =>
       (((s__instance(V__F,s__Flexion) &
             s__agent(V__F,V__A)
           &
           s__moves(V__F,V__BP))
       =>
       (~(( ? [V__E] :
             ((s__instance(V__E,s__Extension) &
                 (s__WhenFn(V__E)
                 = s__WhenFn(V__F))
             &
             s__agent(V__E,V__A)
           &
           s__moves(V__E,V__BP)))))))))
)
)

Mid-level-ontology.kif 9906-9917
( ! [V__H,V__I] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__I,s__Infecting) &
             s__experiencer(V__I,V__H))
         =>
         (( ? [V__T, V__R, V__O] :
             ((s__instance(V__T,s__Translocation) &
                 s__moves(V__T,V__O)
               &
               s__instance(V__O,s__Organism) &
               s__instance(V__R,s__Replication) &
               s__experiencer(V__R,V__O)
             &
             s__subProcess(V__T,V__I)
           &
           s__subProcess(V__R,V__I))))))))
)
)

Mid-level-ontology.kif 5506-5518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9342-9355
( ! [V__F] :
   ((s__instance(V__F,s__Furniture) =>
       (s__capability(s__Translocation,s__moves__m,V__F)))
   )
)

Mid-level-ontology.kif 3641-3643
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10010-10019
( ! [V__MOTION] :
   ((s__instance(V__MOTION,s__Motion) =>
       (( ? [V__OBJ] :
           ((s__instance(V__OBJ,s__Object) &
               s__moves(V__MOTION,V__OBJ))))))
   )
)

Merge.kif 10574-10579


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