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 Fuel Substance) Mid-level-ontology.kif 1693-1693
(subclass Electricity Substance) Mid-level-ontology.kif 2556-2556
(subclass Wicker Substance) Mid-level-ontology.kif 4589-4589
(subclass Surfactant Substance) Mid-level-ontology.kif 8822-8822
(subclass Powder Substance) Mid-level-ontology.kif 8950-8950
(subclass ExplosiveSubstance Substance) Mid-level-ontology.kif 17862-17862
(subclass Rock Substance) Mid-level-ontology.kif 17904-17904
(subclass SyntheticSubstance Substance) Merge.kif 1067-1067
(subclass NaturalSubstance Substance) Merge.kif 1080-1080
(subclass PureSubstance Substance) Merge.kif 1084-1084
(subclass Mixture Substance) Merge.kif 1182-1182
(subclass Mineral Substance) Merge.kif 14311-14311
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14671-14671
(subclass BodySubstance Substance) Merge.kif 14806-14806
(subclass DrugCandidate Substance) Medicine.kif 3082-3082
(subclass Creatinine Substance) Medicine.kif 3793-3793
(subclass Effluent Substance) Geography.kif 2664-2664
(subclass NoxiousSubstance Substance) Geography.kif 2762-2762
(subclass Crystal Substance) Geography.kif 7110-7110
(subclass LiquidDrop Substance) Geography.kif 7488-7488
(subclass ConductorSubstance Substance) engineering.kif 1281-1281
(subclass InsulatorSubstance Substance) engineering.kif 1286-1286
(subclass Sugar Substance) Economy.kif 4158-4158
(subclass GumArabic Substance) Economy.kif 4750-4750
(subclass ChemicalAcid Substance) Cars.kif 2471-2471
(subclass Lubricant Substance) Cars.kif 2975-2975


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