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 1767-1781
(subclass CompoundSubstance PureSubstance) Merge.kif 1097-1097
(subclass ChemicalAgent CompoundSubstance) WMD.kif 440-440
(subclass Saxitoxin CompoundSubstance) WMD.kif 1350-1350
(subclass Conotoxin CompoundSubstance) WMD.kif 1365-1365
(subclass Tetrodotoxin CompoundSubstance) WMD.kif 1374-1374
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 6163-6163
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8284-8284
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8400-8400
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 8416-8416
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8420-8420
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 19517-19517
(subclass Water CompoundSubstance) Merge.kif 13154-13154
(subclass Molecule CompoundSubstance) Merge.kif 14392-14392
(subclass Barite CompoundSubstance) Geography.kif 1946-1946
(subclass Chromite CompoundSubstance) Geography.kif 1963-1963
(subclass NaturalGas CompoundSubstance) Geography.kif 1984-1984
(subclass Phosphate CompoundSubstance) Geography.kif 1994-1994
(subclass Potash CompoundSubstance) Geography.kif 2000-2000
(subclass DDT CompoundSubstance) Geography.kif 2580-2580
(subclass SulphurDioxide CompoundSubstance) Geography.kif 6504-6504
(subclass NitricOxide CompoundSubstance) Geography.kif 6539-6539
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 6564-6564
(subclass CarbonDioxide CompoundSubstance) Food.kif 885-885
(subclass Alumina CompoundSubstance) Economy.kif 4488-4488
(subclass Timber CompoundSubstance) Economy.kif 4498-4498
(subclass IronOre CompoundSubstance) Economy.kif 4506-4506
(subclass ChemicalProduct CompoundSubstance) Economy.kif 4701-4701
(subclass Cement CompoundSubstance) Economy.kif 4806-4806
(subclass PhosphoricAcid CompoundSubstance) Economy.kif 4868-4868
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1783-1783


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners