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 11240-11242
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 11238-11238 Putting is a subclass of transfer

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12117-12117 Attaching is internally related to putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 10771-10771 Increasing is internally related to putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17409-17409 Burying is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5181-5181 Concealing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11253-11253 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 18988-18988 Diluting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5196-5196 Dressing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17453-17453 Entombing is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11259-11259 Inserting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17303-17303 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 2580-2580 Planting is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Geography.kif 2845-2845 Siltation is a subclass of putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 12515-12515 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

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. Merge.kif 11244-11251

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11954-11964
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 1313-1317
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3312-3322
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 1037-1053
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. Merge.kif 11293-11305
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3673-3680
No TPTP formula. May not be expressible in strict first order. Cars.kif 4878-4888
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26111-26120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26091-26104


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