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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - objectTransferred
objectTransferred

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


s__documentation(s__objectTransferred__m,s__EnglishLanguage,'"A relation that specifies the object that is transferred during the process. For example, in a Mailing process, the object transferred is a letter or package."')

Mid-level-ontology.kif 28507-28509
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
s__domain(s__objectTransferred__m,n__2,s__Object)

Mid-level-ontology.kif 28505-28505 The number 2 argument of objectTransferred is an instance of object
s__instance(s__CaseRole,s__Class)

s__instance(s__objectTransferred__m,s__CaseRole)

Mid-level-ontology.kif 28502-28502 objectTransferred is an instance of case role
s__subrelation(s__objectTransferred__m,s__patient__m)

Mid-level-ontology.kif 28503-28503 objectTransferred is a subrelation of patient

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


s__format(s__EnglishLanguage,s__objectTransferred__m,'"the object transferred in %1 is %n %2"')

Mid-level-ontology.kif 28506-28506
s__subrelation(s__passenger__m,s__objectTransferred__m)

Mid-level-ontology.kif 29809-29809 passenger is a subrelation of objectTransferred

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17712-17728
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. Mid-level-ontology.kif 9147-9168
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 88-99
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1924-1933
No TPTP formula. May not be expressible in strict first order. WMD.kif 1077-1091
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28511-28522

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


( ! [V__ANI,V__D] :
   (((s__instance(V__ANI,s__Animal) &
         s__instance(V__D,s__DiseaseOrSyndrome) &
         ~(s__attribute(V__ANI,V__D)))
     =>
     (( ? [V__P, V__W] :
         ((s__instance(V__P,s__BiologicalProcess) &
             s__instance(V__P,s__Removing) &
             s__origin(V__P,V__ANI)
           &
           s__instance(V__W,s__Sewage) &
           s__agent(V__P,V__ANI)
         &
         s__objectTransferred(V__P,V__W))))))
)
)

Mid-level-ontology.kif 2100-2113
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5713-5732
( ! [V__C,V__H] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__C,s__Crying) &
             s__experiencer(V__C,V__H))
         =>
         (( ? [V__T, V__E] :
             ((s__instance(V__T,s__TearSubstance) &
                 s__origin(V__C,V__E)
               &
               s__objectTransferred(V__C,V__T)
             &
             s__instance(V__E,s__Eye) &
             s__part(V__E,V__H))))))))
)
)

emotion.kif 1137-1147
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5779-5797
( ! [V__DUSTSTORM,V__WIND] :
   (((s__instance(V__DUSTSTORM,s__DustStorm) &
         s__instance(V__WIND,s__Wind) &
         s__subProcess(V__DUSTSTORM,V__WIND))
     =>
     (( ? [V__TRANSLOCATE, V__PM, V__SAND, V__A1, V__A2, V__STRONG] :
         ((s__instance(V__STRONG,s__RealNumber) &
             (s__instance(V__A1,s__LandArea) &
               s__eventLocated(V__WIND,V__A1)
             &
             s__surfaceWindSpeed(V__A1,s__MeasureFn(V__STRONG,s__KnotUnitOfSpeed))
           &
           s__greaterThan(V__STRONG,n__30)
         &
         s__instance(V__TRANSLOCATE,s__Translocation) &
         s__subProcess(V__TRANSLOCATE,V__DUSTSTORM)
       &
       s__objectTransferred(V__TRANSLOCATE,V__PM)
     &
     s__objectTransferred(V__TRANSLOCATE,V__SAND)
   &
   s__instance(V__PM,s__ParticulateMatter) &
   s__instance(V__SAND,s__Sand) &
   s__instance(V__A2,s__LandArea) &
   s__destination(V__TRANSLOCATE,V__A2)
&
~(s__overlapsSpatially(V__A1,V__A2))))))))
)
)

Weather.kif 1273-1294
( ! [V__HA,V__H] :
   (((s__instance(V__HA,s__HeartAttack) &
         s__instance(V__H,s__Heart) &
         s__located(V__HA,V__H))
     =>
     (( ? [V__M] :
         ((s__instance(V__M,s__Muscle) &
             s__part(V__M,V__H)
           &
           ~(( ? [V__BF, V__B] :
               ((s__instance(V__BF,s__LiquidMotion) &
                   s__objectTransferred(V__BF,V__B)
                 &
                 s__instance(V__B,s__Blood) &
                 s__during(V__BF,s__WhenFn(V__HA))
             &
             s__destination(V__BF,V__M))))))))))
)
)

Mid-level-ontology.kif 10632-10649
( ! [V__HA,V__H] :
   (((s__instance(V__HA,s__Stroke) &
         s__instance(V__H,s__Brain) &
         s__located(V__HA,V__H))
     =>
     (( ? [V__M] :
         ((s__instance(V__M,s__NerveCell) &
             s__part(V__M,V__H)
           &
           ~(( ? [V__BF, V__B] :
               ((s__instance(V__BF,s__LiquidMotion) &
                   s__objectTransferred(V__BF,V__B)
                 &
                 s__instance(V__B,s__Blood) &
                 s__during(V__BF,s__WhenFn(V__HA))
             &
             s__destination(V__BF,V__M))))))))))
)
)

Mid-level-ontology.kif 11134-11151
( ! [V__LECS,V__C] :
   (((s__instance(V__LECS,s__AirEngineCoolingSystem) &
         s__instance(V__C,s__Cooling) &
         s__instrument(V__C,V__LECS))
     =>
     (( ? [V__A] :
         ((s__instance(V__A,s__Air) &
             s__objectTransferred(V__C,V__A))))))
)
)

Cars.kif 2182-2190
( ! [V__LECS,V__C] :
   (((s__instance(V__LECS,s__LiquidEngineCoolingSystem) &
         s__instance(V__C,s__Cooling) &
         s__instrument(V__C,V__LECS))
     =>
     (( ? [V__L] :
         ((s__instance(V__L,s__Object) &
             (s__attribute(V__L,s__Liquid) &
               s__objectTransferred(V__C,V__L)))))))
)
)

Cars.kif 2166-2174
( ! [V__S,V__H] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__S,s__Swallowing) &
             s__agent(V__S,V__H))
         =>
         (( ? [V__M, V__E, V__ST, V__O] :
             ((s__instance(V__O,s__Object) &
                 (s__instance(V__M,s__Mouth) &
                   s__instance(V__E,s__Esophagus) &
                   s__instance(V__ST,s__Stomach) &
                   s__objectTransferred(V__S,V__O)
                 &
                 s__origin(V__S,V__M)
               &
               s__destination(V__S,V__ST)
             &
             s__path(V__S,V__E)))))))))
)
)

Mid-level-ontology.kif 6232-6244
( ! [V__SPIT,V__ANIMAL] :
   ((s__instance(V__ANIMAL,s__Agent) =>
       (((s__instance(V__SPIT,s__Drooling) &
             s__experiencer(V__SPIT,V__ANIMAL))
         =>
         (( ? [V__MOUTH, V__S] :
             ((s__instance(V__MOUTH,s__Mouth) &
                 s__objectTransferred(V__SPIT,V__S)
               &
               s__instance(V__S,s__Saliva) &
               s__part(V__MOUTH,V__ANIMAL)
             &
             s__origin(V__SPIT,V__MOUTH))))))))
)
)

Mid-level-ontology.kif 6212-6222
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3797-3811
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30002-30017
( ! [V__O,V__A,V__C,V__T,V__N] :
   (((s__subclass(V__O,s__Object) &
         s__instance(V__O,s__SetOrClass) &
         s__instance(V__A,s__Agent) &
         s__instance(V__C,s__CurrencyMeasure) &
         s__instance(V__T,s__TimeInterval))
       =>
       (((s__shortage(V__A,V__O,V__C,V__T,V__N)
           &
           s__instance(V__N,s__Integer))
         =>
         (~(( ? [V__B, V__G] :
               ((s__instance(V__B,s__Buying) &
                   s__during(s__WhenFn(V__B)
                ,V__T)
               &
               s__objectTransferred(V__B,V__G)
             &
             s__transactionAmount(V__B,V__C)
           &
           s__agent(V__B,V__A)
         &
         s__instance(V__G,s__Collection) &
         s__memberType(V__G,V__O)
       &
       s__memberCount(V__G,V__N)
     &
     s__possesses(V__A,V__G)))))))))
)
)

Mid-level-ontology.kif 29969-29984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30019-30033
( ! [V__O,V__A,V__C,V__T,V__N] :
   (((s__subclass(V__O,s__Object) &
         s__instance(V__O,s__Class) &
         s__instance(V__A,s__Agent) &
         s__instance(V__C,s__CurrencyMeasure) &
         s__instance(V__T,s__TimeInterval))
       =>
       (((s__shortage(V__A,V__O,V__C,V__T,V__N)
           &
           s__instance(V__N,s__PhysicalQuantity))
         =>
         (~(( ? [V__B, V__G] :
               ((s__instance(V__G,s__Object) &
                   (s__instance(V__B,s__Buying) &
                     s__during(s__WhenFn(V__B)
                  ,V__T)
                 &
                 s__objectTransferred(V__B,V__G)
               &
               s__transactionAmount(V__B,V__C)
             &
             s__agent(V__B,V__A)
           &
           s__instance(V__G,V__O)
         &
         s__measure(V__G,V__N)
       &
       s__possesses(V__A,V__G))))))))))
)
)

Mid-level-ontology.kif 29986-30000
No TPTP formula. May not be expressible in strict first order. WMD.kif 1077-1091
( ! [V__O] :
   ((s__instance(V__O,s__Object) =>
       ((s__attribute(V__O,s__NewItem) =>
           (~(( ? [V__B] :
                 ((s__instance(V__B,s__Buying) &
                     s__objectTransferred(V__B,V__O)))))))))
   )
)

Cars.kif 5145-5151
( ! [V__O] :
   ((s__instance(V__O,s__Object) =>
       ((s__attribute(V__O,s__UsedItem) =>
           (( ? [V__B] :
               ((s__instance(V__B,s__Buying) &
                   s__objectTransferred(V__B,V__O))))))))
   )
)

Cars.kif 5132-5137
( ! [V__OS,V__X,V__DT] :
   (((s__instance(V__OS,s__Object) &
         s__instance(V__X,s__TimeInterval) &
         s__instance(V__X,s__Object) &
         s__instance(V__DT,s__TimeInterval) &
         s__instance(V__DT,s__Transfer))
       =>
       ((s__attribute(V__X,s__Booting) =>
           (( ? [V__CD] :
               ((s__instance(V__CD,s__DigitalData) &
                   s__instance(V__OS,s__OperatingSystem) &
                   s__instance(V__DT,s__DataTransfer) &
                   s__during(V__DT,V__X)
                 &
                 s__destination(V__DT,V__X)
               &
               s__part(V__CD,V__OS)
             &
             s__objectTransferred(V__DT,V__CD))))))))
)
)

ComputingBrands.kif 3193-3203
( ! [V__AG,V__H] :
   ((s__instance(V__H,s__Agent) =>
       ((s__instance(V__AG,s__AnimalGuiding) =>
           (( ? [V__A, V__C] :
               ((s__instance(V__A,s__Animal) &
                   s__agent(V__AG,V__H)
                 &
                 s__instance(V__C,s__Carrying) &
                 s__agent(V__C,V__A)
               &
               s__objectTransferred(V__C,V__H)
             &
             s__instrument(V__AG,V__A))))))))
)
)

Mid-level-ontology.kif 4218-4227
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9070-9082
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9090-9102
( ! [V__B] :
   ((s__instance(V__B,s__Birth) =>
       (( ? [V__M, V__BABY] :
           ((s__instance(V__M,s__Object) &
               s__instance(V__BABY,s__Object) &
               (s__attribute(V__M,s__Female) &
                 s__origin(V__B,V__M)
               &
               s__objectTransferred(V__B,V__BABY)
             &
             s__attribute(V__BABY,s__NonFullyFormed)))))))
)
)

Mid-level-ontology.kif 23093-23100

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3283-3289 IBookstore has the purpose there exists ?D such that ?D is an instance of downloading and iBookstore is an instrument for ?D and ?T is an instance of text and the object transferred in ?D is ?T


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