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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Transfer

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 10803-10804
s__externalImage(s__Transfer,'"http://upload.wikimedia.org/wikipedia/commons/2/ 29/ VAB_transfer_aisle.jpg"')

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

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

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

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

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

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

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

pictureList.kif 12047-12047
s__instance(s__Transfer,s__SetOrClass)

s__subclass(s__Transfer,s__Translocation)

s__instance(s__Translocation,s__SetOrClass)

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

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


s__instance(s__Carrying,s__SetOrClass)

s__instance(s__Transfer,s__SetOrClass)

s__subclass(s__Carrying,s__Transfer)

Merge.kif 10839-10839 Carrying is a subclass of transfer
s__instance(s__ChangingClothing,s__SetOrClass)

s__instance(s__Transfer,s__SetOrClass)

s__subclass(s__ChangingClothing,s__Transfer)

Mid-level-ontology.kif 5186-5186 Changing clothing is a subclass of transfer
s__instance(s__Transfer,s__SetOrClass)

s__subclass(s__DeliveryService,s__Transfer)

s__instance(s__DeliveryService,s__SetOrClass)

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

s__instance(s__Transfer,s__SetOrClass)

s__instance(s__ElectricTransmission,s__SetOrClass)

Cars.kif 2396-2396 Electric transmission is a subclass of transfer
s__instance(s__Transfer,s__SetOrClass)

s__subclass(s__Impelling,s__Transfer)

s__instance(s__Impelling,s__SetOrClass)

Merge.kif 10941-10941 Impelling is a subclass of transfer
s__instance(s__Transfer,s__SetOrClass)

s__subclass(s__Mailing,s__Transfer)

s__instance(s__Mailing,s__SetOrClass)

Mid-level-ontology.kif 6133-6133 Mailing is a subclass of transfer
s__instance(s__Transfer,s__SetOrClass)

s__instance(s__Messaging,s__SetOrClass)

s__subclass(s__Messaging,s__Transfer)

Mid-level-ontology.kif 6137-6137 Messaging is a subclass of transfer
s__instance(s__Transfer,s__SetOrClass)

s__instance(s__MovingResidence,s__SetOrClass)

s__subclass(s__MovingResidence,s__Transfer)

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

s__instance(s__Transfer,s__SetOrClass)

s__instance(s__Pouring,s__SetOrClass)

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

s__instance(s__Transfer,s__SetOrClass)

s__instance(s__Putting,s__SetOrClass)

Merge.kif 10872-10872 Putting is a subclass of transfer
s__instance(s__Transfer,s__SetOrClass)

s__subclass(s__Releasing,s__Transfer)

s__instance(s__Releasing,s__SetOrClass)

Merge.kif 10991-10991 Releasing is a subclass of transfer
s__instance(s__Removing,s__SetOrClass)

s__instance(s__Transfer,s__SetOrClass)

s__subclass(s__Removing,s__Transfer)

Merge.kif 10851-10851 Removing is a subclass of transfer
s__instance(s__Transfer,s__SetOrClass)

s__instance(s__Spraying,s__SetOrClass)

s__subclass(s__Spraying,s__Transfer)

Mid-level-ontology.kif 16084-16084 Spraying is a subclass of transfer
s__instance(s__Transfer,s__SetOrClass)

s__subclass(s__Substituting,s__Transfer)

s__instance(s__Substituting,s__SetOrClass)

Merge.kif 10921-10921 Substituting is a subclass of transfer
s__instance(s__Transfer,s__SetOrClass)

s__instance(s__Touching,s__SetOrClass)

s__subclass(s__Touching,s__Transfer)

Merge.kif 10953-10953 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 28198-28198 The number 4 argument of beforeOnPath is an instance of transfer
s__domain(s__objectTransferred__m,n__1,s__Transfer)

Mid-level-ontology.kif 27871-27871 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 28205-28214
( ! [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 9946-9956
( ! [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 9979-9989
No TPTP formula. May not be expressible in strict first order. Cars.kif 1731-1747
( ! [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 3910-3920
No TPTP formula. May not be expressible in strict first order. Cars.kif 3922-3938
No TPTP formula. May not be expressible in strict first order. Cars.kif 4063-4078
( ! [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 10806-10812
( ! [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 9995-10010
( ! [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 9963-9973

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 9114-9126
( ! [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 4331-4340
No TPTP formula. May not be expressible in strict first order. Cars.kif 2643-2659
No TPTP formula. May not be expressible in strict first order. Cars.kif 2679-2687
No TPTP formula. May not be expressible in strict first order. Cars.kif 2554-2569
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 10165-10172
No TPTP formula. May not be expressible in strict first order. Cars.kif 2704-2717
No TPTP formula. May not be expressible in strict first order. Cars.kif 3317-3327
No TPTP formula. May not be expressible in strict first order. Cars.kif 3276-3291
No TPTP formula. May not be expressible in strict first order. Cars.kif 3835-3851
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1464-1472
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 9921-9928
No TPTP formula. May not be expressible in strict first order. Cars.kif 4693-4704
No TPTP formula. May not be expressible in strict first order. Cars.kif 2783-2791
( ! [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 28227-28236
( ! [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 28249-28258
( ! [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 28216-28225
( ! [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 28238-28247


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