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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Putting
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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11198-11199
No TPTP formula. May not be expressible in strict first order. Merge.kif 11195-11197
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2984-2984 "http://upload.wikimedia.org/wikipedia/commons/8/89/ Woman%2C_with_large_bow_in_her_hair%2C_putting_needle_on_record_on_phonograph.png" is a URL depicting putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11194-11194 Putting is a subclass of transfer

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12148-12148 Attaching is internally related to putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 10712-10712 Increasing is internally related to putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15366-15366 Burying is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5723-5723 Concealing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11210-11210 Covering is a subclass of putting
No TPTP formula. May not be expressible in strict first order. WMD.kif 671-671 Deploying weapon of mass destruction is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17032-17032 Diluting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5737-5737 Dressing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15408-15408 Entombing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11217-11217 Inserting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15287-15287 Installing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Cars.kif 3006-3006 Lubricating is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Geography.kif 2506-2506 Planting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Geography.kif 2770-2770 Siltation is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 12536-12536 Wetting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1122-1122 "放" is the printable form of putting in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 809-809 "putting" is the printable form of putting in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 800-800 "mettre" is the printable form of putting in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 332-332 """" is the printable form of putting in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 333-333 "Porre" is the printable form of putting in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 752-752 "Colocar" is the printable form of putting in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 337-337 "pagbutang" is the printable form of putting in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 371-371 "putting" is the printable form of putting in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 336-336 "paglagay" is the printable form of putting in tg

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. 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 11201-11208

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11965-11975
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 130-139
No TPTP formula. May not be expressible in strict first order. WMD.kif 1223-1227
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3889-3899
No TPTP formula. May not be expressible in strict first order. 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 3032-3040
No TPTP formula. May not be expressible in strict first order. Cars.kif 3048-3056
No TPTP formula. May not be expressible in strict first order. Merge.kif 11253-11265
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3561-3568
No TPTP formula. May not be expressible in strict first order. Cars.kif 4887-4897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24429-24438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24409-24422


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