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
(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 6474-6474
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8559-8559
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8721-8721
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 8738-8738
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8742-8742
(subclass Oil CompoundSubstance) Mid-level-ontology.kif 8808-8808
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 21730-21730
(subclass Water CompoundSubstance) Merge.kif 14307-14307
(subclass Carbohydrate CompoundSubstance) Merge.kif 14699-14699
(subclass Molecule CompoundSubstance) Merge.kif 15664-15664
(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 1788-1788


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