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 Substance is a subclass of self connected object
(subclass Fuel Substance) Mid-level-ontology.kif 1693-1693 Fuel is a subclass of substance
(subclass Electricity Substance) Mid-level-ontology.kif 2556-2556 Electricity is a subclass of substance
(subclass Wicker Substance) Mid-level-ontology.kif 4589-4589 Wicker is a subclass of substance
(subclass Surfactant Substance) Mid-level-ontology.kif 8822-8822 Surfactant is a subclass of substance
(subclass Powder Substance) Mid-level-ontology.kif 8950-8950 Powder is a subclass of substance
(subclass ExplosiveSubstance Substance) Mid-level-ontology.kif 17862-17862 Explosive substance is a subclass of substance
(subclass Rock Substance) Mid-level-ontology.kif 17904-17904 Rock is a subclass of substance
(subclass SyntheticSubstance Substance) Merge.kif 1067-1067 Synthetic substance is a subclass of substance
(subclass NaturalSubstance Substance) Merge.kif 1080-1080 Natural substance is a subclass of substance
(subclass PureSubstance Substance) Merge.kif 1084-1084 Pure substance is a subclass of substance
(subclass Mixture Substance) Merge.kif 1182-1182 Mixture is a subclass of substance
(subclass Mineral Substance) Merge.kif 14311-14311 Mineral is a subclass of substance
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14671-14671 Biologically active substance is a subclass of substance
(subclass BodySubstance Substance) Merge.kif 14806-14806 Body substance is a subclass of substance
(subclass DrugCandidate Substance) Medicine.kif 3082-3082 Drug candidate is a subclass of substance
(subclass Creatinine Substance) Medicine.kif 3793-3793 Creatinine is a subclass of substance
(subclass Effluent Substance) Geography.kif 2664-2664 Effluent is a subclass of substance
(subclass NoxiousSubstance Substance) Geography.kif 2762-2762 Noxious substance is a subclass of substance
(subclass Crystal Substance) Geography.kif 7110-7110 Crystal is a subclass of substance
(subclass LiquidDrop Substance) Geography.kif 7488-7488 Liquid drop is a subclass of substance
(subclass ConductorSubstance Substance) engineering.kif 1281-1281 Conductor substance is a subclass of substance
(subclass InsulatorSubstance Substance) engineering.kif 1286-1286 Insulator substance is a subclass of substance
(subclass Sugar Substance) Economy.kif 4158-4158 Sugar is a subclass of substance
(subclass GumArabic Substance) Economy.kif 4750-4750 Gum arabic is a subclass of substance
(subclass ChemicalAcid Substance) Cars.kif 2471-2471 Chemical acid is a subclass of substance
(subclass Lubricant Substance) Cars.kif 2975-2975 Lubricant is a subclass of substance


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