Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6393-6404	If a plant is a Removing a plant leaf from its stems and the plant is an instance of deciduous tree and the plant leaf is an instance of plant leaf, then there exist a kind of process and another process such that a kind of process is a subclass of removing and the kind of process occurs every year duration and the other process is an instance of the kind of process and the other process originates at the plant and the plant leaf is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11378-11378	Removing is a subclass of transfer
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 2113-2113	Excreting is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5564-5564	Sweeping is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5574-5574	Washing is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11805-11805	Hair removal is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11816-11816	Peeling is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18072-18072	Harvesting is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21055-21055	Circumision is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21491-21491	Aborting is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24008-24008	Birth is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24085-24085	Biopsy is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11393-11393	Uncovering is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12773-12773	Drying is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 878-878	Needle decompression is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6248-6248	Amputation is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2654-2654	Deforestation is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2656-2656	Dredging is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2674-2674	Erosion is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2915-2915	Sanitation is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6442-6442	Moulting 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

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