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