SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > Substance > BiologicallyActiveSubstance > PharmacologicSubstance
Next BiologicallyActiveSubstance: ToxicSubstance    Up: BiologicallyActiveSubstance    Previous BiologicallyActiveSubstance: Nutrient   

PharmacologicSubstance
subjectfact 
PharmacologicSubstancedocumentation A BiologicallyActiveSubstance used in the treatment, diagnosis, prevention or analysis of normal and abnormal body function. This includes Substances that occur naturally in the body and are administered therapeutically2001-11-30 13:34:58.0
is a kind of BiologicallyActiveSubstance2001-11-30 13:34:58.0
BiologicallyActiveSubstanceis partitioned into ToxicSubstance, PharmacologicSubstance, Nutrient2001-11-30 13:33:44.0
Substancehas axiom 
(=>
    (and
       (subclass ?OBJECTTYPE Substance)
       (instance ?OBJECT ?OBJECTTYPE)
       (part ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))
2001-11-30 13:35:21.0
has axiom 
(=>
    (instance ?OBJ CorpuscularObject)
    (exists (?SUBSTANCETYPE1 ?SUBSTANCETYPE2 ?SUBSTANCE1 ?SUBSTANCE2)
       (and
          (subclass ?SUBSTANCETYPE1 Substance)
          (subclass ?SUBSTANCETYPE2 Substance)
          (instance ?SUBSTANCE1 ?SUBSTANCETYPE1)
          (instance ?SUBSTANCE2 ?SUBSTANCETYPE2)
          (material ?SUBSTANCE1 ?OBJ)
          (material ?SUBSTANCE2 ?OBJ)
          (not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))
2001-11-30 13:35:21.0
is first domain of material2001-11-30 13:35:21.0
is first domain of piece2001-11-30 13:35:21.0
is second domain of piece2001-11-30 13:35:21.0
Objectis disjoint from Process2001-11-30 13:34:50.0
is third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0