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 10656-10658
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 10654-10654 Putting is a subclass of transfer

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11509-11509 Attaching is internally related to putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 10200-10200 Increasing is internally related to putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14573-14573 Burying is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5137-5137 Concealing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 10669-10669 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 16152-16152 Diluting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5152-5152 Dressing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14617-14617 Entombing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 10675-10675 Inserting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14467-14467 Installing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Cars.kif 3008-3008 Lubricating is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Geography.kif 2539-2539 Planting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Geography.kif 2804-2804 Siltation is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11854-11854 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 10660-10667

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11346-11356
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 1273-1277
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3289-3299
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 1031-1041
No TPTP formula. May not be expressible in strict first order. Cars.kif 3034-3042
No TPTP formula. May not be expressible in strict first order. Cars.kif 3050-3058
No TPTP formula. May not be expressible in strict first order. Merge.kif 10709-10721
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3610-3617
No TPTP formula. May not be expressible in strict first order. Cars.kif 4898-4908
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22933-22942
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22913-22926


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