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 10635-10637
No TPTP formula. May not be expressible in strict first order. Merge.kif 10633-10633 Removing is a subclass of transfer

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10241-10241 Decreasing is internally related to removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17843-17843 Aborting is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20386-20386 Biopsy is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Cars.kif 1527-1527 Bleeding air is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17460-17460 Circumision is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Geography.kif 2616-2616 Deforestation is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Geography.kif 2618-2618 Dredging is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Merge.kif 11880-11880 Drying is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Geography.kif 2636-2636 Erosion 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 9123-9123 Hair removal is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14649-14649 Harvesting is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9134-9134 Peeling is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Geography.kif 2796-2796 Sanitation is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5216-5216 Sweeping is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Merge.kif 10648-10648 Uncovering is a subclass of removing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5226-5226 Washing is a subclass of removing
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1120-1120
No TPTP formula. May not be expressible in strict first order. english_format.kif 1462-1462

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1379-1389
No TPTP formula. May not be expressible in strict first order. Merge.kif 10639-10646

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2098-2111
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. Mid-level-ontology.kif 1861-1869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8497-8504
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11770-11777
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7693-7702
No TPTP formula. May not be expressible in strict first order. WMD.kif 736-743
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1368-1376
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 2459-2467
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 5785-5793
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. Cars.kif 4910-4920


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