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 11401-11403
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 2983-2983
No TPTP formula. May not be expressible in strict first order. Merge.kif 11399-11399 Putting is a subclass of transfer

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12349-12349 Attaching is internally related to putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 10894-10894 Increasing is internally related to putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17993-17993 Burying is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5485-5485 Concealing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11414-11414 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 19614-19614 Diluting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5500-5500 Dressing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18037-18037 Entombing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11420-11420 Inserting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17887-17887 Installing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Cars.kif 2994-2994 Lubricating is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Geography.kif 2577-2577 Planting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Geography.kif 2923-2923 Siltation is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 12747-12747 Wetting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1122-1122
No TPTP formula. May not be expressible in strict first order. english_format.kif 1461-1461
No TPTP formula. May not be expressible in strict first order. french_format.kif 800-800
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 332-332
No TPTP formula. May not be expressible in strict first order. terms-it.txt 335-335
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2484-2484
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 752-752
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 337-337
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 371-371

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 4384-4399
No TPTP formula. May not be expressible in strict first order. Merge.kif 11405-11412

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12178-12188
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 132-141
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 3356-3366
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 3020-3028
No TPTP formula. May not be expressible in strict first order. Cars.kif 3036-3044
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4642-4651
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 4374-4382
No TPTP formula. May not be expressible in strict first order. Merge.kif 11454-11466
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3669-3676
No TPTP formula. May not be expressible in strict first order. Cars.kif 4875-4885
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26739-26748
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26719-26732


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