Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21766-21780	If an object is an instance of a kind of compound substance and a kind of compound substance is a subclass of compound substance and there doesn't exist another object such that the other object is an instance of the kind of compound substance and the other object is a part of the object and the number of molecules of a kind of elemental substance in a molecule of the kind of compound substance is an integer and a collection is an instance of group and a third object is a member of the collection and the third object is a part of the object and the third object is an instance of a kind of elemental substance, then the integer is a member count of the collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1173-1173	Compound substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 445-445	Chemical agent is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1453-1453	Saxitoxin is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1468-1468	Conotoxin is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1477-1477	Tetrodotoxin is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 81-81	Illicit drug is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1694-1694	Wax is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6468-6468	Conjugated substance is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8586-8586	Organic compound is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8748-8748	Chemical acid is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8765-8765	Chemical base is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8769-8769	Salt is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8835-8835	Oil is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21782-21782	Atomic group is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14353-14353	Water is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14745-14745	Carbohydrate is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15710-15710	Molecule is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1996-1996	Barite is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2013-2013	Chromite is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2034-2034	Natural gas is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2044-2044	Phosphate is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2050-2050	Potash is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2639-2639	DDT is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7166-7166	Sulphur dioxide is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7201-7201	Nitric oxide is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7226-7226	Nitrogen dioxide is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 3409-3409	Carbon dioxide is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5610-5610	Alumina is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5621-5621	Iron ore is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5816-5816	Chemical product is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5921-5921	Cement is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5983-5983	Phosphoric acid is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1771-1771	Chlorofluorocarbon is a subclass of compound substance

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