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


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 11536-11538
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 11534-11534 Putting is a subclass of transfer

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12484-12484 Attaching is internally related to putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11017-11017 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 11549-11549 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 11555-11555 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 2565-2565 Planting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Geography.kif 2911-2911 Siltation is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 12886-12886 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 11540-11547

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12313-12323
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 11589-11601
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 28640-28649
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28620-28633


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