Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (subclass ?OBJECTTYPE Substance)
        (instance ?OBJECT ?OBJECTTYPE)
        (piece ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))		 Merge.kif 1053-1058
(=>
    (instance ?OBJ CorpuscularObject)
    (exists (?SUBSTANCE1 ?SUBSTANCE2)
        (and
            (subclass ?SUBSTANCE1 Substance)
            (subclass ?SUBSTANCE2 Substance)
            (material ?SUBSTANCE1 ?OBJ)
            (material ?SUBSTANCE2 ?OBJ)
            (not
                (equal ?SUBSTANCE1 ?SUBSTANCE2)))))		 Merge.kif 1231-1239
(subclass Substance SelfConnectedObject) Merge.kif 1041-1041 物质 是 自身连接物体 的 subclass
(subclass Fuel Substance) Mid-level-ontology.kif 1693-1693 汽油 是 物质 的 subclass
(subclass Electricity Substance) Mid-level-ontology.kif 2556-2556 电力 是 物质 的 subclass
(subclass Wicker Substance) Mid-level-ontology.kif 4589-4589 条编材料 是 物质 的 subclass
(subclass Surfactant Substance) Mid-level-ontology.kif 8822-8822 表面活性剂 是 物质 的 subclass
(subclass Powder Substance) Mid-level-ontology.kif 8950-8950 粉末 是 物质 的 subclass
(subclass ExplosiveSubstance Substance) Mid-level-ontology.kif 17862-17862 爆炸性物质 是 物质 的 subclass
(subclass Rock Substance) Mid-level-ontology.kif 17904-17904 岩石 是 物质 的 subclass
(subclass SyntheticSubstance Substance) Merge.kif 1067-1067 合成物质 是 物质 的 subclass
(subclass NaturalSubstance Substance) Merge.kif 1080-1080 天然物质 是 物质 的 subclass
(subclass PureSubstance Substance) Merge.kif 1084-1084 純物质 是 物质 的 subclass
(subclass Mixture Substance) Merge.kif 1182-1182 混合物 是 物质 的 subclass
(subclass Mineral Substance) Merge.kif 14311-14311 矿物 是 物质 的 subclass
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14671-14671 生物活性物质 是 物质 的 subclass
(subclass BodySubstance Substance) Merge.kif 14806-14806 身体物质 是 物质 的 subclass
(subclass DrugCandidate Substance) Medicine.kif 3082-3082 DrugCandidate 是 物质 的 subclass
(subclass Creatinine Substance) Medicine.kif 3793-3793 Creatinine 是 物质 的 subclass
(subclass Effluent Substance) Geography.kif 2664-2664 流出的 是 物质 的 subclass
(subclass NoxiousSubstance Substance) Geography.kif 2762-2762 有毒物质 是 物质 的 subclass
(subclass Crystal Substance) Geography.kif 7110-7110 水晶 是 物质 的 subclass
(subclass LiquidDrop Substance) Geography.kif 7488-7488 液体滴 是 物质 的 subclass
(subclass ConductorSubstance Substance) engineering.kif 1281-1281 导体物质 是 物质 的 subclass
(subclass InsulatorSubstance Substance) engineering.kif 1286-1286 绝缘体物质 是 物质 的 subclass
(subclass Sugar Substance) Economy.kif 4158-4158 糖 是 物质 的 subclass
(subclass GumArabic Substance) Economy.kif 4750-4750 阿拉伯树胶 是 物质 的 subclass
(subclass ChemicalAcid Substance) Cars.kif 2471-2471 化学酸 是 物质 的 subclass
(subclass Lubricant Substance) Cars.kif 2975-2975 Lubricant 是 物质 的 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