Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Removing
Removing(removing)Babylonian_Captivity, Bowdlerism, C-section, Comstockery, Coventry, D_and_C, G.I., GI, Section_Eight, abandon, abdominal_delivery, abdominocentesis, ablate, ablative, ablution, ablutionary, abolish, abrade, abrasion, abscise, abscission, absent, abstraction, acid-wash, actual_eviction, adenoidectomy, adrenalectomy, air-drop, alter, amnio, amniocentesis, amputation, anathematisation, anathematization, antiseptic, antisepticize, aphaeresis, apheresis, aphesis, appendectomy, appendicectomy, arthrocentesis, asbestos_abatement, aseptic, asphyxiating, aspirate, attrition, attritional, autotomy, bail...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3031-3032
No TPTP formula. May not be expressible in strict first order. Merge.kif 11530-11532
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1799-1800
No TPTP formula. May not be expressible in strict first order. Merge.kif 11528-11528 Removing is a subclass of transfer

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11074-11074 Decreasing is internally related to removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23108-23108 Aborting is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6265-6265 Amputation is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25731-25731 Biopsy is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25654-25654 Birth is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Cars.kif 1513-1513 Bleeding air is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22672-22672 Circumision is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4255-4255 Corrosion is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Geography.kif 2812-2812 Deforestation is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Geography.kif 2814-2814 Dredging is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Merge.kif 12927-12927 Drying is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Geography.kif 2832-2832 Erosion is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2576-2576 Excreting is a subclass of removing
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 250-250 Exfiltration is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13136-13136 Hair removal is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19643-19643 Harvesting is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Geography.kif 6745-6745 Moulting is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13147-13147 Peeling is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Geography.kif 3073-3073 Sanitation is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6501-6501 Sweeping is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Medicine.kif 869-869 Needle decompression is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Merge.kif 11543-11543 Uncovering is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6511-6511 Washing is a subclass of removing
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1120-1120 Washing is a subclass of removing

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11534-11541

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2625-2638
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6993-7012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7059-7077
No TPTP formula. May not be expressible in strict first order. Food.kif 425-435
No TPTP formula. May not be expressible in strict first order. naics.kif 631-648
No TPTP formula. May not be expressible in strict first order. naics.kif 954-977
No TPTP formula. May not be expressible in strict first order. Geography.kif 6715-6726
No TPTP formula. May not be expressible in strict first order. Geography.kif 6696-6707
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2387-2395
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12256-12263
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16411-16418
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5015-5030
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4263-4272
No TPTP formula. May not be expressible in strict first order. Food.kif 686-701
No TPTP formula. May not be expressible in strict first order. Food.kif 703-716
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11339-11352
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10054-10063
No TPTP formula. May not be expressible in strict first order. WMD.kif 741-748
No TPTP formula. May not be expressible in strict first order. Food.kif 799-834
No TPTP formula. May not be expressible in strict first order. Cars.kif 943-958
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2986-2994
No TPTP formula. May not be expressible in strict first order. Cars.kif 922-936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7683-7691
No TPTP formula. May not be expressible in strict first order. Medicine.kif 915-929
No TPTP formula. May not be expressible in strict first order. Food.kif 248-258

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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