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 では %n
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445 ChemicalAgent は 合成物質 の subclass では %n
(subclass Saxitoxin CompoundSubstance) WMD.kif 1453-1453 Saxitoxin は 合成物質 の subclass では %n
(subclass Conotoxin CompoundSubstance) WMD.kif 1468-1468 Conotoxin は 合成物質 の subclass では %n
(subclass Tetrodotoxin CompoundSubstance) WMD.kif 1477-1477 Tetrodotoxin は 合成物質 の subclass では %n
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81 IllicitDrug は 合成物質 の subclass では %n
(subclass Wax CompoundSubstance) Mid-level-ontology.kif 1701-1701 Wax は 合成物質 の subclass では %n
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 6474-6474 ConjugatedSubstance は 合成物質 の subclass では %n
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8559-8559 OrganicCompound は 合成物質 の subclass では %n
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8721-8721 ChemicalAcid は 合成物質 の subclass では %n
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 8738-8738 ChemicalBase は 合成物質 の subclass では %n
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8742-8742 ChemicalSalt は 合成物質 の subclass では %n
(subclass Oil CompoundSubstance) Mid-level-ontology.kif 8808-8808 Oil は 合成物質 の subclass では %n
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 21730-21730 AtomicGroup は 合成物質 の subclass では %n
(subclass Water CompoundSubstance) Merge.kif 14307-14307 水 は 合成物質 の subclass では %n
(subclass Carbohydrate CompoundSubstance) Merge.kif 14699-14699 炭水化物 は 合成物質 の subclass では %n
(subclass Molecule CompoundSubstance) Merge.kif 15664-15664 分子 は 合成物質 の subclass では %n
(subclass Barite CompoundSubstance) Geography.kif 1996-1996 Barite は 合成物質 の subclass では %n
(subclass Chromite CompoundSubstance) Geography.kif 2013-2013 Chromite は 合成物質 の subclass では %n
(subclass NaturalGas CompoundSubstance) Geography.kif 2034-2034 NaturalGas は 合成物質 の subclass では %n
(subclass Phosphate CompoundSubstance) Geography.kif 2044-2044 Phosphate は 合成物質 の subclass では %n
(subclass Potash CompoundSubstance) Geography.kif 2050-2050 Potash は 合成物質 の subclass では %n
(subclass DDT CompoundSubstance) Geography.kif 2639-2639 DDT は 合成物質 の subclass では %n
(subclass SulphurDioxide CompoundSubstance) Geography.kif 7166-7166 SulphurDioxide は 合成物質 の subclass では %n
(subclass NitricOxide CompoundSubstance) Geography.kif 7201-7201 NitricOxide は 合成物質 の subclass では %n
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 7226-7226 NitrogenDioxide は 合成物質 の subclass では %n
(subclass CarbonDioxide CompoundSubstance) Food.kif 3409-3409 CarbonDioxide は 合成物質 の subclass では %n
(subclass Alumina CompoundSubstance) Economy.kif 5610-5610 Alumina は 合成物質 の subclass では %n
(subclass IronOre CompoundSubstance) Economy.kif 5621-5621 IronOre は 合成物質 の subclass では %n
(subclass ChemicalProduct CompoundSubstance) Economy.kif 5816-5816 ChemicalProduct は 合成物質 の subclass では %n
(subclass Cement CompoundSubstance) Economy.kif 5921-5921 Cement は 合成物質 の subclass では %n
(subclass PhosphoricAcid CompoundSubstance) Economy.kif 5983-5983 PhosphoricAcid は 合成物質 の subclass では %n
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1788-1788 Chlorofluorocarbon は 合成物質 の subclass では %n


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