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 子類 CompoundSubstance and PureSubstance
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445 子類 化學劑 and CompoundSubstance
(subclass Saxitoxin CompoundSubstance) WMD.kif 1453-1453 子類 石房蛤毒素 and CompoundSubstance
(subclass Conotoxin CompoundSubstance) WMD.kif 1468-1468 子類 芋螺毒素 and CompoundSubstance
(subclass Tetrodotoxin CompoundSubstance) WMD.kif 1477-1477 子類 河豚毒素 and CompoundSubstance
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81 子類 非法藥物 and CompoundSubstance
(subclass Wax CompoundSubstance) Mid-level-ontology.kif 1701-1701 子類 蠟 and CompoundSubstance
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 6474-6474 子類 共軛物質 and CompoundSubstance
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8559-8559 子類 有機化合物 and CompoundSubstance
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8721-8721 子類 化學酸 and CompoundSubstance
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 8738-8738 子類 化學基地 and CompoundSubstance
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8742-8742 子類 鹽 and CompoundSubstance
(subclass Oil CompoundSubstance) Mid-level-ontology.kif 8808-8808 子類 油 and CompoundSubstance
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 21730-21730 子類 原子團 and CompoundSubstance
(subclass Water CompoundSubstance) Merge.kif 14307-14307 子類 Water and CompoundSubstance
(subclass Carbohydrate CompoundSubstance) Merge.kif 14699-14699 子類 Carbohydrate and CompoundSubstance
(subclass Molecule CompoundSubstance) Merge.kif 15664-15664 子類 Molecule and CompoundSubstance
(subclass Barite CompoundSubstance) Geography.kif 1996-1996 子類 重晶石 and CompoundSubstance
(subclass Chromite CompoundSubstance) Geography.kif 2013-2013 子類 鉻鐵礦 and CompoundSubstance
(subclass NaturalGas CompoundSubstance) Geography.kif 2034-2034 子類 天然氣 and CompoundSubstance
(subclass Phosphate CompoundSubstance) Geography.kif 2044-2044 子類 磷酸鹽 and CompoundSubstance
(subclass Potash CompoundSubstance) Geography.kif 2050-2050 子類 鉀肥 and CompoundSubstance
(subclass DDT CompoundSubstance) Geography.kif 2639-2639 子類 DDT and CompoundSubstance
(subclass SulphurDioxide CompoundSubstance) Geography.kif 7166-7166 子類 SulphurDioxide and CompoundSubstance
(subclass NitricOxide CompoundSubstance) Geography.kif 7201-7201 子類 NitricOxide and CompoundSubstance
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 7226-7226 子類 NitrogenDioxide and CompoundSubstance
(subclass CarbonDioxide CompoundSubstance) Food.kif 3409-3409 子類 CarbonDioxide and CompoundSubstance
(subclass Alumina CompoundSubstance) Economy.kif 5610-5610 子類 礬土 and CompoundSubstance
(subclass IronOre CompoundSubstance) Economy.kif 5621-5621 子類 鐵礦 and CompoundSubstance
(subclass ChemicalProduct CompoundSubstance) Economy.kif 5816-5816 子類 化學產品 and CompoundSubstance
(subclass Cement CompoundSubstance) Economy.kif 5921-5921 子類 水泥 and CompoundSubstance
(subclass PhosphoricAcid CompoundSubstance) Economy.kif 5983-5983 子類 磷酸 and CompoundSubstance
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1788-1788 子類 Chlorofluorocarbon and CompoundSubstance


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