Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1778-1792	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 1701-1701	Wax is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6473-6473	Conjugated substance is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8558-8558	Organic compound is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8720-8720	Chemical acid is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8737-8737	Chemical base is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8741-8741	Salt is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8807-8807	Oil is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21729-21729	Atomic group is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14329-14329	Water is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14721-14721	Carbohydrate is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15686-15686	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 1794-1794	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