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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Putting
Putting(putting)
Curietherapy, Riss_glaciation, Saale_glaciation, Wolstonian_glaciation, X-ray_therapy, accessorial, accouter, accoutre, accumulate, actinotherapy, activated, add, add-on, addition, additive, adjoin, adorn, adorned, adscititious, aerate, aerated, aeration, air, air-condition, air-cool, air_out, airdrop, airmail, aligning, allocation, alluviation, alluvion, alphabetize, amass, amendment, ammonification, annotating, annotation, anointing, anointment, application, apply, appoint, appointed, apportioned, appose, apposition, archive, arm, armament...

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


s__documentation(s__Putting,s__ChineseLanguage,'"这是当把某些东西放到一个位置时的 Process Class。 注: 可以用 CaseRoledestination 来指明所要放置的位置。"')

chinese_format.kif 3035-3036
s__documentation(s__Putting,s__EnglishLanguage,'"The Class of Processes where something is put in a location. Note that the location is specified with the CaseRole destination."')

Merge.kif 10874-10876
s__externalImage(s__Putting,'"http://upload.wikimedia.org/wikipedia/commons/8/ 89/ Woman%2C_with_large_bow_in_her_hair%2C_putting_needle_on_record_on_phonograph.png"')

pictureList.kif 2984-2984
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

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


s__relatedInternalConcept(s__Attaching,s__Putting)

Merge.kif 11727-11727 Attaching is internally related to putting
s__relatedInternalConcept(s__Increasing,s__Putting)

Merge.kif 10418-10418 Increasing is internally related to putting
s__subclass(s__Burying,s__Putting)

s__instance(s__Putting,s__SetOrClass)

s__instance(s__Burying,s__SetOrClass)

Mid-level-ontology.kif 16449-16449 Burying is a subclass of putting
s__instance(s__Concealing,s__SetOrClass)

s__subclass(s__Concealing,s__Putting)

s__instance(s__Putting,s__SetOrClass)

Mid-level-ontology.kif 5151-5151 Concealing is a subclass of putting
s__subclass(s__Covering,s__Putting)

s__instance(s__Covering,s__SetOrClass)

s__instance(s__Putting,s__SetOrClass)

Merge.kif 10887-10887 Covering is a subclass of putting
s__subclass(s__DeployingWeaponOfMassDestruction,s__Putting)

s__instance(s__Putting,s__SetOrClass)

s__instance(s__DeployingWeaponOfMassDestruction,s__SetOrClass)

WMD.kif 671-671 Deploying weapon of mass destruction is a subclass of putting
s__instance(s__Putting,s__SetOrClass)

s__instance(s__Diluting,s__SetOrClass)

s__subclass(s__Diluting,s__Putting)

Mid-level-ontology.kif 18027-18027 Diluting is a subclass of putting
s__subclass(s__Dressing,s__Putting)

s__instance(s__Putting,s__SetOrClass)

s__instance(s__Dressing,s__SetOrClass)

Mid-level-ontology.kif 5166-5166 Dressing is a subclass of putting
s__instance(s__Entombing,s__SetOrClass)

s__instance(s__Putting,s__SetOrClass)

s__subclass(s__Entombing,s__Putting)

Mid-level-ontology.kif 16493-16493 Entombing is a subclass of putting
s__instance(s__Putting,s__SetOrClass)

s__subclass(s__Inserting,s__Putting)

s__instance(s__Inserting,s__SetOrClass)

Merge.kif 10893-10893 Inserting is a subclass of putting
s__subclass(s__Installing,s__Putting)

s__instance(s__Installing,s__SetOrClass)

s__instance(s__Putting,s__SetOrClass)

Mid-level-ontology.kif 16343-16343 Installing is a subclass of putting
s__subclass(s__Lubricating,s__Putting)

s__instance(s__Putting,s__SetOrClass)

s__instance(s__Lubricating,s__SetOrClass)

Cars.kif 3008-3008 Lubricating is a subclass of putting
s__instance(s__Planting,s__SetOrClass)

s__instance(s__Putting,s__SetOrClass)

s__subclass(s__Planting,s__Putting)

Geography.kif 2539-2539 Planting is a subclass of putting
s__instance(s__Putting,s__SetOrClass)

s__subclass(s__Siltation,s__Putting)

s__instance(s__Siltation,s__SetOrClass)

Geography.kif 2804-2804 Siltation is a subclass of putting
s__subclass(s__Wetting,s__Putting)

s__instance(s__Wetting,s__SetOrClass)

s__instance(s__Putting,s__SetOrClass)

Merge.kif 12113-12113 Wetting is a subclass of putting
s__termFormat(s__ChineseLanguage,s__Putting,'"放"')

chinese_format.kif 1122-1122
s__termFormat(s__EnglishLanguage,s__Putting,'"putting"')

english_format.kif 1466-1466

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


s__biochemicalAgentAntidote(s__Soman,s__PyridostigmineBromide,s__Putting)

WMD.kif 576-576 Soman biochemical agent antidote pyridostigmine bromide for putting

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10878-10885

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


( ! [V__AGENT,V__OBJ,V__KEEP] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__KEEP,s__Keeping) &
             s__agent(V__KEEP,V__AGENT)
           &
           s__patient(V__KEEP,V__OBJ))
       =>
       (( ? [V__PUT] :
           ((s__instance(V__PUT,s__Putting) &
               s__agent(V__PUT,V__AGENT)
             &
             s__patient(V__PUT,V__OBJ)
           &
           s__earlier(s__WhenFn(V__PUT)
        ,s__WhenFn(V__KEEP)))))))))
)
)

Merge.kif 11564-11574
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 132-141
( ! [V__PROCESS,V__DISEASE] :
   (((s__subclass(V__PROCESS,s__Process) &
         s__instance(V__DISEASE,s__DiseaseOrSyndrome))
       =>
       ((s__diseaseTreatment(V__DISEASE,s__Bacitracin,V__PROCESS)
         =>
         ((s__instance(V__DISEASE,s__BacterialDisease) &
             s__instance(V__PROCESS,s__Putting))))))
   )
)

WMD.kif 1307-1311
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3289-3299
( ! [V__DELIVER] :
   ((s__instance(V__DELIVER,s__DeliveringWeaponOfMassDestruction) =>
       (( ? [V__PUTTING, V__WEAPON1, V__WEAPON2] :
           ((s__instance(V__PUTTING,s__Putting) &
               s__subProcess(V__PUTTING,V__DELIVER)
             &
             s__instance(V__WEAPON1,s__WeaponOfMassDestruction) &
             s__instance(V__WEAPON2,s__Weapon) &
             ~(s__instance(V__WEAPON2,s__WeaponOfMassDestruction))
             &
             s__patient(V__PUTTING,V__WEAPON1)
           &
           s__destination(V__PUTTING,V__WEAPON2))))))
)
)

WMD.kif 702-713
No TPTP formula. May not be expressible in strict first order. WMD.kif 1031-1047
No TPTP formula. May not be expressible in strict first order. Cars.kif 3034-3042
No TPTP formula. May not be expressible in strict first order. Cars.kif 3050-3058
( ! [V__SUB] :
   ((s__instance(V__SUB,s__Substituting) =>
       (( ? [V__PUT, V__REMOVE, V__OBJ1, V__OBJ2, V__PLACE] :
           ((s__instance(V__PLACE,s__Object) &
               (s__instance(V__PUT,s__Putting) &
                 s__instance(V__REMOVE,s__Removing) &
                 s__subProcess(V__PUT,V__SUB)
               &
               s__subProcess(V__REMOVE,V__SUB)
             &
             s__patient(V__REMOVE,V__OBJ1)
           &
           s__origin(V__REMOVE,V__PLACE)
         &
         s__patient(V__PUT,V__OBJ2)
       &
       s__destination(V__PUT,V__PLACE)
     &
     ~((V__OBJ1 = V__OBJ2))))))))
)
)

Merge.kif 10927-10939
( ! [V__Slot] :
   ((s__instance(V__Slot,s__ATMSlot) =>
       (( ? [V__Insert, V__Card] :
           ((s__instance(V__Insert,s__Putting) &
               s__patient(V__Insert,V__Card)
             &
             s__instance(V__Card,s__BankCard) &
             s__destination(V__Insert,V__Slot))))))
)
)

FinancialOntology.kif 3610-3617
No TPTP formula. May not be expressible in strict first order. Cars.kif 4899-4909
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25125-25134
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25105-25118


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