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

VerbNet: obtain-13.5.2|collect, mix-22.1|add, fill-9.8|ornament, other_cos-45.4|air, other_cos-45.4|air, other_cos-45.4|air, send-11.1|airmail, obtain-13.5.2|collect, pocket-9.10|archive, equip-13.4.2|arm, equip-13.4.2|armor, equip-13.4.2|armor, butter-9.9|aromatize, butter-9.9|aromatize, put-9.1|arrange, fill-9.8|clog, pocket-9.10|bag, put-9.1|deposit, fill-9.8|ornament, fill-9.8|deck, fill-9.8|deck, fill-9.8|gild, fill-9.8|encrust, pocket-9.10|billet, pocket-9.10|bin, fill-9.8|edge, pocket-9.10|bottle, shake-22.3|package, build-26.1|embroider, shake-22.3|bundle, shake-22.3|bundle, lodge-46|bunk, equip-13.4.2|burden, equip-13.4.2|burden, put-9.1|bury, pocket-9.10|billet, fill-9.8|clog, fill-9.8|clog, shake-22.3|lump, fill-9.8|clog, fill-9.8|clog, pocket-9.10|cloister, fill-9.8|clutter, fill-9.8|clutter, butter-9.9|coal, shake-22.3|collate, obtain-13.5.2|collect, obtain-13.5.2|collect, braid-41.2.2|condition, fill-9.8|clog, ...


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 10601-10603
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2984-2984
No TPTP formula. May not be expressible in strict first order. Merge.kif 10599-10599 Putting is a subclass of transfer

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11454-11454 Attaching is internally related to putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 10142-10142 Increasing is internally related to putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15750-15750 Burying is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5733-5733 Concealing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 10614-10614 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 17445-17445 Diluting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5747-5747 Dressing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15792-15792 Entombing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 10620-10620 Inserting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15641-15641 Installing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Cars.kif 2969-2969 Lubricating is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Geography.kif 2518-2518 Planting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Geography.kif 2782-2782 Siltation is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11799-11799 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 1466-1466

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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11291-11301
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 1240-1244
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3895-3905
No TPTP formula. May not be expressible in strict first order. WMD.kif 702-713
No TPTP formula. May not be expressible in strict first order. WMD.kif 998-1008
No TPTP formula. May not be expressible in strict first order. Cars.kif 2995-3003
No TPTP formula. May not be expressible in strict first order. Cars.kif 3011-3019
No TPTP formula. May not be expressible in strict first order. Merge.kif 10654-10666
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3568-3575
No TPTP formula. May not be expressible in strict first order. Cars.kif 4855-4865
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24935-24944
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24915-24928


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