Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1772-1786	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 6474-6474	Conjugated substance is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8559-8559	Organic compound is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8721-8721	Chemical acid is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8738-8738	Chemical base is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8742-8742	Salt is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8808-8808	Oil is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21730-21730	Atomic group is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14307-14307	Water is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14699-14699	Carbohydrate is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15664-15664	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 1788-1788	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