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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Putting
Putting
, Colocar, Curietherapy, Porre, 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...

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


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

Merge.kif 11278-11279
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 11275-11277
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__instance(s__Putting,s__SetOrClass)

Merge.kif 11274-11274

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


s__relatedInternalConcept(s__Attaching,s__Putting)

Merge.kif 12227-12227
s__relatedInternalConcept(s__Increasing,s__Putting)

Merge.kif 10792-10792
s__instance(s__Putting,s__SetOrClass)

Mid-level-ontology.kif 15667-15667
s__instance(s__Putting,s__SetOrClass)

Mid-level-ontology.kif 5727-5727
s__instance(s__Putting,s__SetOrClass)

Merge.kif 11290-11290
s__instance(s__Putting,s__SetOrClass)

WMD.kif 671-671
s__instance(s__Putting,s__SetOrClass)

Mid-level-ontology.kif 17333-17333
s__instance(s__Putting,s__SetOrClass)

Mid-level-ontology.kif 5741-5741
s__instance(s__Putting,s__SetOrClass)

Mid-level-ontology.kif 15709-15709
s__instance(s__Putting,s__SetOrClass)

Merge.kif 11297-11297
s__instance(s__Putting,s__SetOrClass)

Mid-level-ontology.kif 15588-15588
s__instance(s__Putting,s__SetOrClass)

Cars.kif 2965-2965
s__instance(s__Putting,s__SetOrClass)

Geography.kif 2506-2506
s__instance(s__Putting,s__SetOrClass)

Geography.kif 2770-2770
s__instance(s__Putting,s__SetOrClass)

Merge.kif 12615-12615
s__termFormat(s__ChineseLanguage,s__Putting,'放')

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

english_format.kif 809-809
s__termFormat(s__FrenchLanguage,s__Putting,'mettre')

french_format.kif 800-800
s__termFormat(s__Hindi,s__Putting,'')

terms-hindi.txt 332-332
s__termFormat(s__ItalianLanguage,s__Putting,'Porre')

terms-it.txt 333-333
s__termFormat(s__PortugueseLanguage,s__Putting,'Colocar')

portuguese_format.kif 752-752
s__termFormat(s__cb__m,s__Putting,'pagbutang')

terms-cb.txt 337-337
s__termFormat(s__cz__m,s__Putting,'putting')

terms-cz.txt 371-371
s__termFormat(s__tg__m,s__Putting,'paglagay')

terms-tg.txt 336-336

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


s__biochemicalAgentAntidote(s__Soman,s__PyridostigmineBromide,s__Putting)

WMD.kif 576-576

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11281-11288

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


( ! [V__KEEP,V__AGENT,V__OBJ] :
   ((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 12044-12054
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 130-139
( ! [V__DISEASE,V__PROCESS] :
   (s__diseaseTreatment(V__DISEASE,s__Bacitracin,V__PROCESS)
   =>
   (s__instance(V__DISEASE,s__BacterialDisease) &
     s__instance(V__PROCESS,s__Putting)))
)

WMD.kif 1223-1227
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3893-3903
( ! [V__DELIVER] :
   (s__instance(V__DELIVER,s__DeliveringWeaponOfMassDestruction) =>
     (? [V__PUTTING,V__WEAPON1,V__WEAPON2] :
       (s__instance(V__PUTTING,s__Putting) &
         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-711
No TPTP formula. May not be expressible in strict first order. WMD.kif 989-999
No TPTP formula. May not be expressible in strict first order. Cars.kif 2991-2999
No TPTP formula. May not be expressible in strict first order. Cars.kif 3007-3015
( ! [V__SUB] :
   (s__instance(V__SUB,s__Substituting) =>
     (? [V__PUT,V__REMOVE,V__OBJ1,V__OBJ2,V__PLACE] :
       (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 11333-11345
( ! [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 3561-3568
No TPTP formula. May not be expressible in strict first order. Cars.kif 4846-4856
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24790-24799
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24770-24783


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