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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Transfer
Transfer(transfer)
more pictures...
FTP, SCNT, air-freight, air-ship, airfreight, attract, backpacking, birl, birle, blow, bowl, bring, bring_down, bring_in, bucket, carry, cast, castle, castling, cattle_drive, circularise, circularize, circulate, circulating, circumfuse, circumvolve, clap, closing, coal, contrive, convect, convey, deliver, deracination, despatch, deviate, direct, dispatch, displace, displacement, distribute, divert, drag, draw, draw_back, draw_close, drive, drive_out, express, expulsion...

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


s__documentation(s__Transfer,s__ChineseLanguage,'"这是当 agentpatient 不是同一样的东西时的任何 Translocationinstance。"')

chinese_format.kif 4066-4066
s__documentation(s__Transfer,s__EnglishLanguage,'"Any instance of Translocation where the agent and the patient are not the same thing."')

Merge.kif 10836-10837
s__externalImage(s__Transfer,'"http://upload.wikimedia.org/wikipedia/commons/2/ 29/ VAB_transfer_aisle.jpg"')

pictureList.kif 12044-12044
s__externalImage(s__Transfer,'"http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Commercial_Titan_3_launching_Mars_Observer.jpg"')

pictureList.kif 12047-12047
s__externalImage(s__Transfer,'"http://upload.wikimedia.org/wikipedia/commons/2/ 2f/ Ponderosa_elevator.JPG"')

pictureList.kif 12048-12048
s__externalImage(s__Transfer,'"http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Chinese_rocket_part_in_transfer.jpg"')

pictureList.kif 12045-12045
s__externalImage(s__Transfer,'"http://upload.wikimedia.org/wikipedia/commons/7/ 70/ Escalators_Canary_Wharf.jpg"')

pictureList.kif 12049-12049
s__externalImage(s__Transfer,'"http://upload.wikimedia.org/wikipedia/commons/8/ 8c/ Escrolantesgranvia.jpg"')

pictureList.kif 12050-12050
s__externalImage(s__Transfer,'"http://upload.wikimedia.org/wikipedia/commons/d/ d5/ Public_Transfer_TrolleyBus_Bratislava.jpg"')

pictureList.kif 12043-12043
s__externalImage(s__Transfer,'"http://upload.wikimedia.org/wikipedia/commons/f/ f0/ Nasa_space_elev.jpg"')

pictureList.kif 12046-12046
s__subclass(s__Transfer,s__Translocation)

s__instance(s__Translocation,s__Class)

s__instance(s__Transfer,s__Class)

Merge.kif 10834-10834 Transfer is a subclass of translocation

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


s__instance(s__Transfer,s__Class)

s__subclass(s__Carrying,s__Transfer)

s__instance(s__Carrying,s__Class)

Merge.kif 10872-10872 Carrying is a subclass of transfer
s__subclass(s__ChangingClothing,s__Transfer)

s__instance(s__ChangingClothing,s__Class)

s__instance(s__Transfer,s__Class)

Mid-level-ontology.kif 5189-5189 Changing clothing is a subclass of transfer
s__instance(s__DeliveryService,s__Class)

s__subclass(s__DeliveryService,s__Transfer)

s__instance(s__Transfer,s__Class)

Dining.kif 481-481 Delivery service is a subclass of transfer
s__subclass(s__ElectricTransmission,s__Transfer)

s__instance(s__Transfer,s__Class)

s__instance(s__ElectricTransmission,s__Class)

Cars.kif 2382-2382 Electric transmission is a subclass of transfer
s__instance(s__Impelling,s__Class)

s__subclass(s__Impelling,s__Transfer)

s__instance(s__Transfer,s__Class)

Merge.kif 10974-10974 Impelling is a subclass of transfer
s__subclass(s__Mailing,s__Transfer)

s__instance(s__Transfer,s__Class)

s__instance(s__Mailing,s__Class)

Mid-level-ontology.kif 6283-6283 Mailing is a subclass of transfer
s__subclass(s__Messaging,s__Transfer)

s__instance(s__Transfer,s__Class)

s__instance(s__Messaging,s__Class)

Mid-level-ontology.kif 6287-6287 Messaging is a subclass of transfer
s__instance(s__MovingResidence,s__Class)

s__subclass(s__MovingResidence,s__Transfer)

s__instance(s__Transfer,s__Class)

Mid-level-ontology.kif 17129-17129 Moving residence is a subclass of transfer
s__subclass(s__Pouring,s__Transfer)

s__instance(s__Transfer,s__Class)

s__instance(s__Pouring,s__Class)

Mid-level-ontology.kif 16633-16633 Pouring is a subclass of transfer
s__subclass(s__Putting,s__Transfer)

s__instance(s__Transfer,s__Class)

s__instance(s__Putting,s__Class)

Merge.kif 10905-10905 Putting is a subclass of transfer
s__subclass(s__Releasing,s__Transfer)

s__instance(s__Transfer,s__Class)

s__instance(s__Releasing,s__Class)

Merge.kif 11024-11024 Releasing is a subclass of transfer
s__instance(s__Removing,s__Class)

s__instance(s__Transfer,s__Class)

s__subclass(s__Removing,s__Transfer)

Merge.kif 10884-10884 Removing is a subclass of transfer
s__instance(s__Transfer,s__Class)

s__instance(s__Spraying,s__Class)

s__subclass(s__Spraying,s__Transfer)

Mid-level-ontology.kif 16702-16702 Spraying is a subclass of transfer
s__subclass(s__Substituting,s__Transfer)

s__instance(s__Substituting,s__Class)

s__instance(s__Transfer,s__Class)

Merge.kif 10954-10954 Substituting is a subclass of transfer
s__subclass(s__Swallowing,s__Transfer)

s__instance(s__Swallowing,s__Class)

s__instance(s__Transfer,s__Class)

Mid-level-ontology.kif 6225-6225 Swallowing is a subclass of transfer
s__instance(s__Touching,s__Class)

s__subclass(s__Touching,s__Transfer)

s__instance(s__Transfer,s__Class)

Merge.kif 10986-10986 Touching is a subclass of transfer
s__termFormat(s__ChineseLanguage,s__Transfer,'"转移"')

chinese_format.kif 1119-1119
s__termFormat(s__EnglishLanguage,s__Transfer,'"transfer"')

english_format.kif 1460-1460

appearance as argument number 3
-------------------------


s__domain(s__beforeOnPath__m,n__4,s__Transfer)

Mid-level-ontology.kif 28831-28831 The number 4 argument of beforeOnPath is an instance of transfer
s__domain(s__objectTransferred__m,n__1,s__Transfer)

Mid-level-ontology.kif 28504-28504 The number 1 argument of objectTransferred is an instance of transfer

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


( ! [V__O1,V__O2,V__O3,V__T,V__PATH] :
   (((s__instance(V__O1,s__Object) &
         s__instance(V__O2,s__Object) &
         s__instance(V__O3,s__Object) &
         s__instance(V__PATH,s__Object))
       =>
       (((s__betweenOnPath(V__O1,V__O2,V__O3,V__PATH)
           &
           s__instance(V__T,s__Transfer) &
           s__path(V__T,V__PATH)
         &
         s__origin(V__T,V__O1)
       &
       s__destination(V__T,V__O3))
   =>
   ((s__beforeOnPath(V__O1,V__O2,V__PATH,V__T)
     &
     s__beforeOnPath(V__O2,V__O3,V__PATH,V__T))))))
)
)

Mid-level-ontology.kif 28838-28847
( ! [V__ARTERY,V__BLOOD,V__TRANSFER] :
   (((s__instance(V__ARTERY,s__Artery) &
         s__instance(V__TRANSFER,s__Transfer) &
         s__patient(V__TRANSFER,V__BLOOD)
       &
       s__instrument(V__TRANSFER,V__ARTERY)
     &
     s__instance(V__BLOOD,s__Blood))
   =>
   (( ? [V__HEART] :
       ((s__instance(V__HEART,s__Heart) &
           s__origin(V__TRANSFER,V__HEART))))))
)
)

Mid-level-ontology.kif 10374-10384
( ! [V__ARTERY,V__BLOOD,V__TRANSFER] :
   (((s__instance(V__ARTERY,s__PulmonaryArtery) &
         s__instance(V__TRANSFER,s__Transfer) &
         s__patient(V__TRANSFER,V__BLOOD)
       &
       s__instrument(V__TRANSFER,V__ARTERY)
     &
     s__instance(V__BLOOD,s__Blood))
   =>
   (( ? [V__LUNG] :
       ((s__instance(V__LUNG,s__Lung) &
           s__destination(V__TRANSFER,V__LUNG))))))
)
)

Mid-level-ontology.kif 10407-10417
No TPTP formula. May not be expressible in strict first order. Cars.kif 1717-1733
( ! [V__T,V__E,V__EM] :
   (((s__instance(V__EM,s__Electromagnet) &
         s__instance(V__T,s__Transfer) &
         s__instance(V__E,s__Electricity) &
         s__objectTransferred(V__T,V__E)
       &
       s__path(V__T,V__EM))
   =>
   (( ? [V__M] :
       ((s__instance(V__M,s__Magnetism) &
           s__instrument(V__M,V__EM))))))
)
)

Cars.kif 3896-3906
No TPTP formula. May not be expressible in strict first order. Cars.kif 3908-3924
No TPTP formula. May not be expressible in strict first order. Cars.kif 4049-4064
( ! [V__AGENT,V__TRANSFER,V__PATIENT] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__TRANSFER,s__Transfer) &
             s__agent(V__TRANSFER,V__AGENT)
           &
           s__patient(V__TRANSFER,V__PATIENT))
       =>
       (~((V__AGENT = V__PATIENT))))))
)
)

Merge.kif 10839-10845
( ! [V__B,V__T,V__V] :
   (((s__instance(V__V,s__PulmonaryVein) &
         s__instance(V__T,s__Transfer) &
         s__patient(V__T,V__B)
       &
       s__instrument(V__T,V__V)
     &
     s__instance(V__B,s__Blood))
   =>
   (( ? [V__L, V__H, V__P] :
       ((s__instance(V__P,s__Object) &
           (s__instance(V__L,s__Lung) &
             s__origin(V__T,V__L)
           &
           s__part(V__V,V__P)
         &
         s__part(V__L,V__P)
       &
       s__part(V__H,V__P)
     &
     s__instance(V__H,s__Heart) &
     s__destination(V__T,V__H)))))))
)
)

Mid-level-ontology.kif 10423-10438
( ! [V__B,V__T,V__V] :
   (((s__instance(V__V,s__Vein) &
         s__instance(V__T,s__Transfer) &
         s__patient(V__T,V__B)
       &
       s__instrument(V__T,V__V)
     &
     s__instance(V__B,s__Blood))
   =>
   (( ? [V__H] :
       ((s__instance(V__H,s__Heart) &
           s__destination(V__T,V__H))))))
)
)

Mid-level-ontology.kif 10391-10401

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


( ! [V__AS,V__C,V__F,V__H] :
   ((s__instance(V__F,s__Object) =>
       (((s__instance(V__AS,s__AutomobileShock) &
             s__instance(V__C,s__Compressing) &
             s__instance(V__H,s__Hole) &
             s__attribute(V__F,s__Fluid) &
             (V__AS = s__HoleHostFn(V__H))
           &
           s__contains(V__AS,V__F)
         &
         s__patient(V__C,V__AS))
     =>
     (( ? [V__T] :
         ((s__instance(V__T,s__Transfer) &
             s__objectTransferred(V__T,V__F)
           &
           s__path(V__T,V__H)
         &
         s__causes(V__C,V__T))))))))
)
)

Cars.kif 871-885
( ! [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__OBJ,V__X] :
   (((s__instance(V__X,s__DutyTax) &
         s__refers(V__X,V__OBJ)
       &
       s__patient(V__X,V__OBJ))
   =>
   (( ? [V__T, V__N1, V__N2] :
       ((s__instance(V__T,s__Transfer) &
           s__patient(V__T,V__OBJ)
         &
         s__origin(V__T,V__N1)
       &
       s__destination(V__T,V__N2)
     &
     s__instance(V__N1,s__Nation) &
     s__instance(V__N2,s__Nation) &
     ~((V__N1 = V__N2))
     &
     s__earlier(s__WhenFn(V__T)
  ,s__WhenFn(V__X))
&
s__causes(V__T,V__X))))))
)
)

FinancialOntology.kif 903-918
No TPTP formula. May not be expressible in strict first order. Cars.kif 973-983
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4334-4343
No TPTP formula. May not be expressible in strict first order. Cars.kif 2629-2645
No TPTP formula. May not be expressible in strict first order. Cars.kif 2665-2673
No TPTP formula. May not be expressible in strict first order. Cars.kif 2540-2555
No TPTP formula. May not be expressible in strict first order. Cars.kif 1000-1011
( ! [V__HEART] :
   ((s__instance(V__HEART,s__Heart) =>
       (( ? [V__TRANSFER, V__BLOOD] :
           ((s__instance(V__TRANSFER,s__Transfer) &
               s__instance(V__BLOOD,s__Blood) &
               s__instrument(V__TRANSFER,V__HEART)
             &
             s__patient(V__TRANSFER,V__BLOOD))))))
)
)

Mid-level-ontology.kif 10605-10612
No TPTP formula. May not be expressible in strict first order. Cars.kif 2690-2703
No TPTP formula. May not be expressible in strict first order. Cars.kif 3303-3313
No TPTP formula. May not be expressible in strict first order. Cars.kif 3262-3277
No TPTP formula. May not be expressible in strict first order. Cars.kif 3821-3837
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1465-1473
No TPTP formula. May not be expressible in strict first order. engineering.kif 912-923
( ! [V__VESSEL] :
   ((s__instance(V__VESSEL,s__BloodVessel) =>
       (( ? [V__BLOOD, V__TRANSFER] :
           ((s__instance(V__BLOOD,s__Blood) &
               s__instance(V__TRANSFER,s__Transfer) &
               s__patient(V__TRANSFER,V__BLOOD)
             &
             s__instrument(V__TRANSFER,V__VESSEL))))))
)
)

Mid-level-ontology.kif 10349-10356
No TPTP formula. May not be expressible in strict first order. Cars.kif 4672-4683
No TPTP formula. May not be expressible in strict first order. Cars.kif 2769-2777
( ! [V__O1,V__O2] :
   (((s__instance(V__O1,s__Object) &
         s__instance(V__O2,s__Object))
       =>
       ((s__orientation(V__O1,V__O2,s__Downstream) =>
           (( ? [V__T, V__L, V__P] :
               ((s__instance(V__L,s__Object) &
                   s__instance(V__P,s__Object) &
                   (s__instance(V__T,s__Transfer) &
                     s__attribute(V__L,s__Liquid) &
                     s__path(V__T,V__P)
                   &
                   s__origin(V__T,V__O2)
                 &
                 s__beforeOnPath(V__O2,V__O1,V__P,V__T)
               &
               s__destination(V__T,V__O1)))))))))
)
)

Mid-level-ontology.kif 28860-28869
( ! [V__O1,V__O2] :
   (((s__instance(V__O1,s__Object) &
         s__instance(V__O2,s__Object))
       =>
       ((s__orientation(V__O1,V__O2,s__Downwind) =>
           (( ? [V__T, V__L, V__P] :
               ((s__instance(V__L,s__Object) &
                   s__instance(V__P,s__Object) &
                   (s__instance(V__T,s__Transfer) &
                     s__attribute(V__L,s__Liquid) &
                     s__path(V__T,V__P)
                   &
                   s__origin(V__T,V__O2)
                 &
                 s__beforeOnPath(V__O2,V__O1,V__P,V__T)
               &
               s__destination(V__T,V__O1)))))))))
)
)

Mid-level-ontology.kif 28882-28891
( ! [V__O1,V__O2] :
   (((s__instance(V__O1,s__Object) &
         s__instance(V__O2,s__Object))
       =>
       ((s__orientation(V__O1,V__O2,s__Upstream) =>
           (( ? [V__T, V__L, V__P] :
               ((s__instance(V__L,s__Object) &
                   s__instance(V__P,s__Object) &
                   (s__instance(V__T,s__Transfer) &
                     s__attribute(V__L,s__Liquid) &
                     s__path(V__T,V__P)
                   &
                   s__origin(V__T,V__O1)
                 &
                 s__beforeOnPath(V__O1,V__O2,V__P,V__T)
               &
               s__destination(V__T,V__O2)))))))))
)
)

Mid-level-ontology.kif 28849-28858
( ! [V__O1,V__O2] :
   (((s__instance(V__O1,s__Object) &
         s__instance(V__O2,s__Object))
       =>
       ((s__orientation(V__O1,V__O2,s__Upwind) =>
           (( ? [V__T, V__L, V__P] :
               ((s__instance(V__L,s__Object) &
                   s__instance(V__P,s__Object) &
                   (s__instance(V__T,s__Transfer) &
                     s__attribute(V__L,s__Liquid) &
                     s__path(V__T,V__P)
                   &
                   s__origin(V__T,V__O1)
                 &
                 s__beforeOnPath(V__O1,V__O2,V__P,V__T)
               &
               s__destination(V__T,V__O2)))))))))
)
)

Mid-level-ontology.kif 28871-28880


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