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 10653-10655
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 10651-10651 Putting is a subclass of transfer

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11506-11506 Attaching is internally related to putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 10197-10197 Increasing is internally related to putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15725-15725 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 10666-10666 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 17423-17423 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 15767-15767 Entombing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 10672-10672 Inserting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15616-15616 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 11851-11851 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 10657-10664

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11343-11353
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 10706-10718
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 4856-4866
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24914-24923
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24894-24907


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