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 Composto è una sottoclasse di SostanzaPura
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445 ChemicalAgent è una sottoclasse di Composto
(subclass Saxitoxin CompoundSubstance) WMD.kif 1453-1453 Saxitoxin è una sottoclasse di Composto
(subclass Conotoxin CompoundSubstance) WMD.kif 1468-1468 Conotoxin è una sottoclasse di Composto
(subclass Tetrodotoxin CompoundSubstance) WMD.kif 1477-1477 Tetrodotoxin è una sottoclasse di Composto
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81 IllicitDrug è una sottoclasse di Composto
(subclass Wax CompoundSubstance) Mid-level-ontology.kif 1701-1701 Wax è una sottoclasse di Composto
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 6474-6474 ConjugatedSubstance è una sottoclasse di Composto
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8559-8559 OrganicCompound è una sottoclasse di Composto
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8721-8721 ChemicalAcid è una sottoclasse di Composto
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 8738-8738 ChemicalBase è una sottoclasse di Composto
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8742-8742 ChemicalSalt è una sottoclasse di Composto
(subclass Oil CompoundSubstance) Mid-level-ontology.kif 8808-8808 Oil è una sottoclasse di Composto
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 21730-21730 AtomicGroup è una sottoclasse di Composto
(subclass Water CompoundSubstance) Merge.kif 14307-14307 Acqua è una sottoclasse di Composto
(subclass Carbohydrate CompoundSubstance) Merge.kif 14699-14699 Carboidrato è una sottoclasse di Composto
(subclass Molecule CompoundSubstance) Merge.kif 15664-15664 Molecola è una sottoclasse di Composto
(subclass Barite CompoundSubstance) Geography.kif 1996-1996 Barite è una sottoclasse di Composto
(subclass Chromite CompoundSubstance) Geography.kif 2013-2013 Chromite è una sottoclasse di Composto
(subclass NaturalGas CompoundSubstance) Geography.kif 2034-2034 NaturalGas è una sottoclasse di Composto
(subclass Phosphate CompoundSubstance) Geography.kif 2044-2044 Phosphate è una sottoclasse di Composto
(subclass Potash CompoundSubstance) Geography.kif 2050-2050 Potash è una sottoclasse di Composto
(subclass DDT CompoundSubstance) Geography.kif 2639-2639 DDT è una sottoclasse di Composto
(subclass SulphurDioxide CompoundSubstance) Geography.kif 7166-7166 SulphurDioxide è una sottoclasse di Composto
(subclass NitricOxide CompoundSubstance) Geography.kif 7201-7201 NitricOxide è una sottoclasse di Composto
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 7226-7226 NitrogenDioxide è una sottoclasse di Composto
(subclass CarbonDioxide CompoundSubstance) Food.kif 3409-3409 CarbonDioxide è una sottoclasse di Composto
(subclass Alumina CompoundSubstance) Economy.kif 5610-5610 Alumina è una sottoclasse di Composto
(subclass IronOre CompoundSubstance) Economy.kif 5621-5621 IronOre è una sottoclasse di Composto
(subclass ChemicalProduct CompoundSubstance) Economy.kif 5816-5816 ChemicalProduct è una sottoclasse di Composto
(subclass Cement CompoundSubstance) Economy.kif 5921-5921 Cement è una sottoclasse di Composto
(subclass PhosphoricAcid CompoundSubstance) Economy.kif 5983-5983 PhosphoricAcid è una sottoclasse di Composto
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1788-1788 Chlorofluorocarbon è una sottoclasse di Composto


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