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 1778-1792
(subclass CompoundSubstance PureSubstance) Merge.kif 1173-1173
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445
(subclass Saxitoxin CompoundSubstance) WMD.kif 1453-1453
(subclass Conotoxin CompoundSubstance) WMD.kif 1468-1468
(subclass Tetrodotoxin CompoundSubstance) WMD.kif 1477-1477
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81
(subclass Wax CompoundSubstance) Mid-level-ontology.kif 1701-1701
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 6473-6473
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8558-8558
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8720-8720
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 8737-8737
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8741-8741
(subclass Oil CompoundSubstance) Mid-level-ontology.kif 8807-8807
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 21729-21729
(subclass Water CompoundSubstance) Merge.kif 14329-14329
(subclass Carbohydrate CompoundSubstance) Merge.kif 14721-14721
(subclass Molecule CompoundSubstance) Merge.kif 15686-15686
(subclass Barite CompoundSubstance) Geography.kif 1996-1996
(subclass Chromite CompoundSubstance) Geography.kif 2013-2013
(subclass NaturalGas CompoundSubstance) Geography.kif 2034-2034
(subclass Phosphate CompoundSubstance) Geography.kif 2044-2044
(subclass Potash CompoundSubstance) Geography.kif 2050-2050
(subclass DDT CompoundSubstance) Geography.kif 2639-2639
(subclass SulphurDioxide CompoundSubstance) Geography.kif 7166-7166
(subclass NitricOxide CompoundSubstance) Geography.kif 7201-7201
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 7226-7226
(subclass CarbonDioxide CompoundSubstance) Food.kif 3409-3409
(subclass Alumina CompoundSubstance) Economy.kif 5610-5610
(subclass IronOre CompoundSubstance) Economy.kif 5621-5621
(subclass ChemicalProduct CompoundSubstance) Economy.kif 5816-5816
(subclass Cement CompoundSubstance) Economy.kif 5921-5921
(subclass PhosphoricAcid CompoundSubstance) Economy.kif 5983-5983
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1794-1794


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