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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Putting

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3035-3036
No TPTP formula. May not be expressible in strict first order. Merge.kif 11551-11553
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1803-1804
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2982-2982
No TPTP formula. May not be expressible in strict first order. Merge.kif 11549-11549 Putting is a subclass of transfer

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12499-12499 Attaching is internally related to putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11032-11032 Increasing is internally related to putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19564-19564 Burying is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6422-6422 Concealing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11564-11564 Covering is a subclass of putting
No TPTP formula. May not be expressible in strict first order. WMD.kif 676-676 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 21185-21185 Diluting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6437-6437 Dressing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19608-19608 Entombing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11570-11570 Inserting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19458-19458 Installing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Cars.kif 3053-3053 Lubricating is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Geography.kif 2735-2735 Planting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Geography.kif 3081-3081 Siltation is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 12901-12901 Wetting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1122-1122 Wetting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. english_format.kif 1461-1461 Wetting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. french_format.kif 800-800 Wetting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 332-332 Wetting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. terms-it.txt 335-335 Wetting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2484-2484 Wetting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 752-752 Wetting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 337-337 Wetting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 371-371 Wetting is a subclass of putting

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 581-581 Soman biochemical agent antidote pyridostigmine bromide for putting

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4722-4737
No TPTP formula. May not be expressible in strict first order. Merge.kif 11555-11562

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12328-12338
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 51-63
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 136-145
No TPTP formula. May not be expressible in strict first order. WMD.kif 1322-1326
No TPTP formula. May not be expressible in strict first order. Food.kif 84-94
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3799-3809
No TPTP formula. May not be expressible in strict first order. WMD.kif 707-718
No TPTP formula. May not be expressible in strict first order. WMD.kif 1046-1059
No TPTP formula. May not be expressible in strict first order. Cars.kif 3079-3087
No TPTP formula. May not be expressible in strict first order. Cars.kif 3095-3103
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4649-4658
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 36-44
No TPTP formula. May not be expressible in strict first order. Food.kif 226-235
No TPTP formula. May not be expressible in strict first order. Economy.kif 4712-4720
No TPTP formula. May not be expressible in strict first order. Merge.kif 11604-11616
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3687-3694
No TPTP formula. May not be expressible in strict first order. Cars.kif 4936-4946
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28638-28647
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28618-28631


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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