Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?CS1 ?CLASS)
        (subclass ?CLASS CompoundSubstance)
        (not
            (exists (?CS2)
                (and
                    (instance ?CS2 ?CLASS)
                    (part ?CS2 ?CS1))))
        (molecularRatio ?ECLASS ?N ?CLASS)
        (instance ?G Group)
        (member ?E ?G)
        (part ?E ?CS1)
        (instance ?E ?ECLASS))
    (memberCount ?G ?N))
Cars.kif 1768-1782
(subclass CompoundSubstance PureSubstance) Merge.kif 1092-1092 Compound substance is a subclass of pure substance
(subclass ChemicalAgent CompoundSubstance) WMD.kif 440-440 Chemical agent is a subclass of compound substance
(subclass Saxitoxin CompoundSubstance) WMD.kif 1356-1356 Saxitoxin is a subclass of compound substance
(subclass Conotoxin CompoundSubstance) WMD.kif 1371-1371 Conotoxin is a subclass of compound substance
(subclass Tetrodotoxin CompoundSubstance) WMD.kif 1380-1380 Tetrodotoxin is a subclass of compound substance
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81 Illicit drug is a subclass of compound substance
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 6169-6169 Conjugated substance is a subclass of compound substance
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8264-8264 Organic compound is a subclass of compound substance
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8380-8380 Chemical acid is a subclass of compound substance
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 8396-8396 Chemical base is a subclass of compound substance
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8400-8400 Salt is a subclass of compound substance
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 19554-19554 Atomic group is a subclass of compound substance
(subclass Water CompoundSubstance) Merge.kif 13272-13272 Water is a subclass of compound substance
(subclass Molecule CompoundSubstance) Merge.kif 14510-14510 Molecule is a subclass of compound substance
(subclass Barite CompoundSubstance) Geography.kif 1946-1946 Barite is a subclass of compound substance
(subclass Chromite CompoundSubstance) Geography.kif 1963-1963 Chromite is a subclass of compound substance
(subclass NaturalGas CompoundSubstance) Geography.kif 1984-1984 Natural gas is a subclass of compound substance
(subclass Phosphate CompoundSubstance) Geography.kif 1994-1994 Phosphate is a subclass of compound substance
(subclass Potash CompoundSubstance) Geography.kif 2000-2000 Potash is a subclass of compound substance
(subclass DDT CompoundSubstance) Geography.kif 2580-2580 DDT is a subclass of compound substance
(subclass SulphurDioxide CompoundSubstance) Geography.kif 6504-6504 Sulphur dioxide is a subclass of compound substance
(subclass NitricOxide CompoundSubstance) Geography.kif 6539-6539 Nitric oxide is a subclass of compound substance
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 6564-6564 Nitrogen dioxide is a subclass of compound substance
(subclass CarbonDioxide CompoundSubstance) Food.kif 841-841 CarbonDioxide is a subclass of compound substance
(subclass Alumina CompoundSubstance) Economy.kif 4488-4488 Alumina is a subclass of compound substance
(subclass Timber CompoundSubstance) Economy.kif 4498-4498 Timber is a subclass of compound substance
(subclass IronOre CompoundSubstance) Economy.kif 4506-4506 Iron ore is a subclass of compound substance
(subclass ChemicalProduct CompoundSubstance) Economy.kif 4701-4701 Chemical product is a subclass of compound substance
(subclass Cement CompoundSubstance) Economy.kif 4806-4806 Cement is a subclass of compound substance
(subclass PhosphoricAcid CompoundSubstance) Economy.kif 4868-4868 Phosphoric acid is a subclass of compound substance
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1784-1784 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