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...

VerbNet: send-11.1|convey, put_direction-9.4|lower, amalgamate-22.2|introduce, spatial_configuration-47.6|project, send-11.1|pass_on, roll-51.3.1|rotate, spatial_configuration-47.6|project, send-11.1|convey, send-11.1|deliver, differ-23.4|deviate, send-11.1|send, roll-51.3.1|move, send-11.1|pass_on, differ-23.4|deviate, force-59|draw, send-11.1|express, pocket-9.10|fork, send-11.1|convey, put_direction-9.4|lower, confine-92|hospitalize, confine-92|hospitalize, amalgamate-22.2|introduce, bill-54.5|invoice, split-23.2|yank, split-23.2|pry, put_direction-9.4|lower, split-23.2|pry, put_direction-9.4|lower, send-11.1|send, give-13.1|pass, run-51.3.2|march, roll-51.3.1|move, give-13.1|pass, send-11.1|pass_on, pocket-9.10|fork, sound_emission-43.2|plop, split-23.2|pry, split-23.2|pry, spatial_configuration-47.6|project, split-23.2|pry, force-59|draw, run-51.3.2|rush, tape-22.4|reeve, send-11.1|return, roll-51.3.1|revolve, body_internal_motion-49|sway, roll-51.3.1|revolve, roll-51.3.1|rotate, run-51.3.2|run, run-51.3.2|rush, ...


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


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

Merge.kif 10517-10518
s__documentation(s__Transfer,s__EnglishLanguage,'"这是当 agentpatient 不是同一样的东西时的任何 Translocationinstance。"')

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

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

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

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

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

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

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

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

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

s__subclass(s__Transfer,s__Translocation)

s__instance(s__Translocation,s__SetOrClass)

Merge.kif 10515-10515 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 10556-10556 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 5761-5761 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 2369-2369 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 10658-10658 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 6280-6280 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 6284-6284 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 15757-15757 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 15092-15092 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 10589-10589 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 10708-10708 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 10568-10568 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 15157-15157 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 10638-10638 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 10670-10670 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 27954-27954 The number 4 argument of beforeOnPath is an instance of transfer
s__domain(s__objectTransferred__m,n__1,s__Transfer)

Mid-level-ontology.kif 27620-27620 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 27961-27970
( ! [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 9503-9513
( ! [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 9536-9546
No TPTP formula. May not be expressible in strict first order. Cars.kif 1713-1729
( ! [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 3866-3876
No TPTP formula. May not be expressible in strict first order. Cars.kif 3878-3894
No TPTP formula. May not be expressible in strict first order. Cars.kif 4019-4034
( ! [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 10523-10529
( ! [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 9552-9567
( ! [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 9520-9530

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 862-876
( ! [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 893-908
No TPTP formula. May not be expressible in strict first order. Cars.kif 964-974
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4937-4946
No TPTP formula. May not be expressible in strict first order. Cars.kif 2614-2630
No TPTP formula. May not be expressible in strict first order. Cars.kif 2650-2658
No TPTP formula. May not be expressible in strict first order. Cars.kif 2527-2542
No TPTP formula. May not be expressible in strict first order. Cars.kif 991-1002
( ! [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 9650-9657
No TPTP formula. May not be expressible in strict first order. Cars.kif 2675-2688
No TPTP formula. May not be expressible in strict first order. Cars.kif 3278-3288
No TPTP formula. May not be expressible in strict first order. Cars.kif 3237-3252
No TPTP formula. May not be expressible in strict first order. Cars.kif 3791-3807
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1931-1939
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 9479-9486
No TPTP formula. May not be expressible in strict first order. Cars.kif 4649-4660
No TPTP formula. May not be expressible in strict first order. Cars.kif 2754-2762
( ! [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 27983-27992
( ! [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 28005-28014
( ! [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 27972-27981
( ! [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 27994-28003


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