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