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))
Mid-level-ontology.kif 23356-23370
(subclass CompoundSubstance PureSubstance) Merge.kif 1183-1183 Compound substance is a subclass of pure substance
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445 Chemical agent is a subclass of compound substance
(subclass Saxitoxin CompoundSubstance) WMD.kif 1453-1453 Saxitoxin is a subclass of compound substance
(subclass Conotoxin CompoundSubstance) WMD.kif 1468-1468 Conotoxin is a subclass of compound substance
(subclass Tetrodotoxin CompoundSubstance) WMD.kif 1477-1477 Tetrodotoxin is a subclass of compound substance
(subclass IronOxide CompoundSubstance) Transportation.kif 4302-4302 Iron oxide is a subclass of compound substance
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81 Illicit drug is a subclass of compound substance
(subclass Wax CompoundSubstance) Mid-level-ontology.kif 2164-2164 Wax is a subclass of compound substance
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 7411-7411 Conjugated substance is a subclass of compound substance
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 9765-9765 Organic compound is a subclass of compound substance
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 9927-9927 Chemical acid is a subclass of compound substance
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 9944-9944 Chemical base is a subclass of compound substance
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 9948-9948 Salt is a subclass of compound substance
(subclass Oil CompoundSubstance) Mid-level-ontology.kif 10014-10014 Oil is a subclass of compound substance
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 23372-23372 Atomic group is a subclass of compound substance
(subclass Water CompoundSubstance) Merge.kif 14460-14460 Water is a subclass of compound substance
(subclass Carbohydrate CompoundSubstance) Merge.kif 14852-14852 Carbohydrate is a subclass of compound substance
(subclass Molecule CompoundSubstance) Merge.kif 15814-15814 Molecule is a subclass of compound substance
(subclass Barite CompoundSubstance) Geography.kif 2121-2121 Barite is a subclass of compound substance
(subclass Chromite CompoundSubstance) Geography.kif 2138-2138 Chromite is a subclass of compound substance
(subclass NaturalGas CompoundSubstance) Geography.kif 2159-2159 Natural gas is a subclass of compound substance
(subclass Phosphate CompoundSubstance) Geography.kif 2169-2169 Phosphate is a subclass of compound substance
(subclass Potash CompoundSubstance) Geography.kif 2175-2175 Potash is a subclass of compound substance
(subclass DDT CompoundSubstance) Geography.kif 2764-2764 DDT is a subclass of compound substance
(subclass SulphurDioxide CompoundSubstance) Geography.kif 7470-7470 Sulphur dioxide is a subclass of compound substance
(subclass NitricOxide CompoundSubstance) Geography.kif 7505-7505 Nitric oxide is a subclass of compound substance
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 7530-7530 Nitrogen dioxide is a subclass of compound substance
(subclass CarbonDioxide CompoundSubstance) Food.kif 3416-3416 Carbon dioxide is a subclass of compound substance
(subclass Alumina CompoundSubstance) Economy.kif 5952-5952 Alumina is a subclass of compound substance
(subclass IronOre CompoundSubstance) Economy.kif 5963-5963 Iron ore is a subclass of compound substance
(subclass ChemicalProduct CompoundSubstance) Economy.kif 6214-6214 Chemical product is a subclass of compound substance
(subclass Cement CompoundSubstance) Economy.kif 6319-6319 Cement is a subclass of compound substance
(subclass PhosphoricAcid CompoundSubstance) Economy.kif 6381-6381 Phosphoric acid is a subclass of compound substance
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1772-1772 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