| BiologicallyActiveSubstance | |
| appearance as argument number 1 |
|
|
| (documentation BiologicallyActiveSubstance ChineseLanguage "这是一种能够对 Organism 的结构 或功能造成变化 Substance。这个 Class 包括 用于治疗、诊断、预防或分析正常和异常身体功能的 Substance。这个 Class 也包括在身体自然出现和为了治病处方的 Substance。最后 BiologicallyActiveSubstance 包括 Nutrient、大多被滥用的药品和因为有毒所有需有特别处理的媒介。") | chinese_format.kif 3443-3446 | |
| (documentation BiologicallyActiveSubstance EnglishLanguage "A Substance that is capable of inducing a change in the structure or functioning of an Organism. This Class includes Substances used in the treatment, diagnosis, prevention or analysis of normal and abnormal body function. This Class also includes Substances that occur naturally in the body and are administered therapeutically. Finally, BiologicallyActiveSubstance includes Nutrients, most drugs of abuse, and agents that require special handling because of their toxicity.") | Merge.kif 14746-14753 | |
| (subclass BiologicallyActiveSubstance Substance) | Merge.kif 14745-14745 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass biochemicalAgentAntidote 2 BiologicallyActiveSubstance) | WMD.kif 914-914 | |
| (domainSubclass diseaseMedicine 2 BiologicallyActiveSubstance) | WMD.kif 933-933 | |
| (domainSubclass pathologicSideEffect 1 BiologicallyActiveSubstance) | WMD.kif 1557-1557 | |
| (domainSubclass pathologyTreatment 2 BiologicallyActiveSubstance) | Mid-level-ontology.kif 10829-10829 | |
| (domainSubclass sideEffect 1 BiologicallyActiveSubstance) | WMD.kif 1539-1539 |
| antecedent |
|
|
| (=> (and (instance ?DAMAGE Damaging) (instrument ?DAMAGE ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance)) (instance ?SUBSTANCE Toxin)) |
WMD.kif 180-185 |
| consequent |
|
|
| (=> (and (equal (MeasureFn ?Y McgPerKg) (PerFn ?M1 ?M2)) (equal ?M1 (MeasureFn ?NUM1 (MicroFn Gram))) (equal ?M2 (MeasureFn ?NUM2 (KiloFn Gram)))) (exists (?I ?B ?A) (and (instance ?I Ingesting) (instance ?B BiologicallyActiveSubstance) (instance ?A Organism) (patient ?I ?B) (agent ?I ?A) (weight ?B ?M1) (weight ?A ?M2)))) |
WMD.kif 823-840 | |
| (=> (holdsDuring ?T (attribute ?P Drugged)) (holdsDuring ?T (exists (?B) (and (instance ?B BiologicallyActiveSubstance) (part ?B ?P))))) |
Mid-level-ontology.kif 9433-9440 | |
| (=> (instance ?INJECT Injecting) (exists (?SUBSTANCE ?ANIMAL) (and (patient ?INJECT ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance) (attribute ?SUBSTANCE Liquid) (destination ?INJECT ?ANIMAL) (instance ?ANIMAL Animal)))) |
Merge.kif 11513-11521 | |
| (=> (instance ?POISON Poisoning) (exists (?SUBSTANCE) (and (instance ?SUBSTANCE BiologicallyActiveSubstance) (instrument ?POISON ?SUBSTANCE)))) |
Merge.kif 10535-10540 |
|
|
|