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 1772-1786
(subclass CompoundSubstance PureSubstance) Merge.kif 1173-1173 Substance compos�e est une sous-classe de substance pure
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445 ChemicalAgent est une sous-classe de substance compos�e
(subclass Saxitoxin CompoundSubstance) WMD.kif 1453-1453 Saxitoxin est une sous-classe de substance compos�e
(subclass Conotoxin CompoundSubstance) WMD.kif 1468-1468 Conotoxin est une sous-classe de substance compos�e
(subclass Tetrodotoxin CompoundSubstance) WMD.kif 1477-1477 Tetrodotoxin est une sous-classe de substance compos�e
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81 IllicitDrug est une sous-classe de substance compos�e
(subclass Wax CompoundSubstance) Mid-level-ontology.kif 1701-1701 Wax est une sous-classe de substance compos�e
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 6474-6474 ConjugatedSubstance est une sous-classe de substance compos�e
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8559-8559 OrganicCompound est une sous-classe de substance compos�e
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8721-8721 ChemicalAcid est une sous-classe de substance compos�e
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 8738-8738 ChemicalBase est une sous-classe de substance compos�e
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8742-8742 ChemicalSalt est une sous-classe de substance compos�e
(subclass Oil CompoundSubstance) Mid-level-ontology.kif 8808-8808 Oil est une sous-classe de substance compos�e
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 21730-21730 AtomicGroup est une sous-classe de substance compos�e
(subclass Water CompoundSubstance) Merge.kif 14307-14307 Eau est une sous-classe de substance compos�e
(subclass Carbohydrate CompoundSubstance) Merge.kif 14699-14699 Hydrate de carbone est une sous-classe de substance compos�e
(subclass Molecule CompoundSubstance) Merge.kif 15664-15664 Mol�cule est une sous-classe de substance compos�e
(subclass Barite CompoundSubstance) Geography.kif 1996-1996 Barite est une sous-classe de substance compos�e
(subclass Chromite CompoundSubstance) Geography.kif 2013-2013 Chromite est une sous-classe de substance compos�e
(subclass NaturalGas CompoundSubstance) Geography.kif 2034-2034 NaturalGas est une sous-classe de substance compos�e
(subclass Phosphate CompoundSubstance) Geography.kif 2044-2044 Phosphate est une sous-classe de substance compos�e
(subclass Potash CompoundSubstance) Geography.kif 2050-2050 Potash est une sous-classe de substance compos�e
(subclass DDT CompoundSubstance) Geography.kif 2639-2639 DDT est une sous-classe de substance compos�e
(subclass SulphurDioxide CompoundSubstance) Geography.kif 7166-7166 SulphurDioxide est une sous-classe de substance compos�e
(subclass NitricOxide CompoundSubstance) Geography.kif 7201-7201 NitricOxide est une sous-classe de substance compos�e
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 7226-7226 NitrogenDioxide est une sous-classe de substance compos�e
(subclass CarbonDioxide CompoundSubstance) Food.kif 3409-3409 CarbonDioxide est une sous-classe de substance compos�e
(subclass Alumina CompoundSubstance) Economy.kif 5610-5610 Alumina est une sous-classe de substance compos�e
(subclass IronOre CompoundSubstance) Economy.kif 5621-5621 IronOre est une sous-classe de substance compos�e
(subclass ChemicalProduct CompoundSubstance) Economy.kif 5816-5816 ChemicalProduct est une sous-classe de substance compos�e
(subclass Cement CompoundSubstance) Economy.kif 5921-5921 Cement est une sous-classe de substance compos�e
(subclass PhosphoricAcid CompoundSubstance) Economy.kif 5983-5983 PhosphoricAcid est une sous-classe de substance compos�e
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1788-1788 Chlorofluorocarbon est une sous-classe de substance compos�e


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