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
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445 化学剂 是 复合物质 的 subclass
(subclass Saxitoxin CompoundSubstance) WMD.kif 1453-1453 石房蛤毒素 是 复合物质 的 subclass
(subclass Conotoxin CompoundSubstance) WMD.kif 1468-1468 芋螺毒素 是 复合物质 的 subclass
(subclass Tetrodotoxin CompoundSubstance) WMD.kif 1477-1477 河豚毒素 是 复合物质 的 subclass
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81 非法药物 是 复合物质 的 subclass
(subclass Wax CompoundSubstance) Mid-level-ontology.kif 1701-1701 蜡 是 复合物质 的 subclass
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 6474-6474 共轭物质 是 复合物质 的 subclass
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8559-8559 有机化合物 是 复合物质 的 subclass
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8721-8721 化学酸 是 复合物质 的 subclass
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 8738-8738 化学基地 是 复合物质 的 subclass
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8742-8742 盐 是 复合物质 的 subclass
(subclass Oil CompoundSubstance) Mid-level-ontology.kif 8808-8808 油 是 复合物质 的 subclass
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 21730-21730 原子团 是 复合物质 的 subclass
(subclass Water CompoundSubstance) Merge.kif 14307-14307 水 是 复合物质 的 subclass
(subclass Carbohydrate CompoundSubstance) Merge.kif 14699-14699 碳水化物 是 复合物质 的 subclass
(subclass Molecule CompoundSubstance) Merge.kif 15664-15664 分子 是 复合物质 的 subclass
(subclass Barite CompoundSubstance) Geography.kif 1996-1996 重晶石 是 复合物质 的 subclass
(subclass Chromite CompoundSubstance) Geography.kif 2013-2013 铬铁矿 是 复合物质 的 subclass
(subclass NaturalGas CompoundSubstance) Geography.kif 2034-2034 天然气 是 复合物质 的 subclass
(subclass Phosphate CompoundSubstance) Geography.kif 2044-2044 磷酸盐 是 复合物质 的 subclass
(subclass Potash CompoundSubstance) Geography.kif 2050-2050 钾肥 是 复合物质 的 subclass
(subclass DDT CompoundSubstance) Geography.kif 2639-2639 DDT 是 复合物质 的 subclass
(subclass SulphurDioxide CompoundSubstance) Geography.kif 7166-7166 二氧化硫 是 复合物质 的 subclass
(subclass NitricOxide CompoundSubstance) Geography.kif 7201-7201 一氧化氮 是 复合物质 的 subclass
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 7226-7226 二氧化氮 是 复合物质 的 subclass
(subclass CarbonDioxide CompoundSubstance) Food.kif 3409-3409 CarbonDioxide 是 复合物质 的 subclass
(subclass Alumina CompoundSubstance) Economy.kif 5610-5610 矾土 是 复合物质 的 subclass
(subclass IronOre CompoundSubstance) Economy.kif 5621-5621 铁矿 是 复合物质 的 subclass
(subclass ChemicalProduct CompoundSubstance) Economy.kif 5816-5816 化学产品 是 复合物质 的 subclass
(subclass Cement CompoundSubstance) Economy.kif 5921-5921 水泥 是 复合物质 的 subclass
(subclass PhosphoricAcid CompoundSubstance) Economy.kif 5983-5983 磷酸 是 复合物质 的 subclass
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1788-1788 Chlorofluorocarbon 是 复合物质 的 subclass


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