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 1786-1800
(subclass CompoundSubstance PureSubstance) Merge.kif 1094-1094 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 1389-1389 Saxitoxin is a subclass of compound substance
(subclass Conotoxin CompoundSubstance) WMD.kif 1404-1404 Conotoxin is a subclass of compound substance
(subclass Tetrodotoxin CompoundSubstance) WMD.kif 1413-1413 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 5569-5569 Conjugated substance is a subclass of compound substance
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 7448-7448 Organic compound is a subclass of compound substance
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 7566-7566 Chemical acid is a subclass of compound substance
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 7583-7583 Chemical base is a subclass of compound substance
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 7587-7587 Salt is a subclass of compound substance
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 18203-18203 Atomic group is a subclass of compound substance
(subclass Water CompoundSubstance) Merge.kif 13307-13307 Water is a subclass of compound substance
(subclass Molecule CompoundSubstance) Merge.kif 14545-14545 Molecule is a subclass of compound substance
(subclass Barite CompoundSubstance) Geography.kif 1967-1967 Barite is a subclass of compound substance
(subclass Chromite CompoundSubstance) Geography.kif 1984-1984 Chromite is a subclass of compound substance
(subclass NaturalGas CompoundSubstance) Geography.kif 2005-2005 Natural gas is a subclass of compound substance
(subclass Phosphate CompoundSubstance) Geography.kif 2015-2015 Phosphate is a subclass of compound substance
(subclass Potash CompoundSubstance) Geography.kif 2021-2021 Potash is a subclass of compound substance
(subclass DDT CompoundSubstance) Geography.kif 2601-2601 DDT is a subclass of compound substance
(subclass SulphurDioxide CompoundSubstance) Geography.kif 6696-6696 Sulphur dioxide is a subclass of compound substance
(subclass NitricOxide CompoundSubstance) Geography.kif 6731-6731 Nitric oxide is a subclass of compound substance
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 6756-6756 Nitrogen dioxide is a subclass of compound substance
(subclass CarbonDioxide CompoundSubstance) Food.kif 844-844 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 1802-1802 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