Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiologicallyActiveSubstance

 Sigma KEE - BiologicallyActiveSubstance
BiologicallyActiveSubstance(生物活性物质)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3443-3446
No TPTP formula. May not be expressible in strict first order. Merge.kif 14672-14679
No TPTP formula. May not be expressible in strict first order. Merge.kif 14671-14671 生物活性物质 是 物质 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10101-10101 AdenosineTriphosphate 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8644-8644 生物碱 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9828-9828 Antacid 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9667-9667 抗生素 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9690-9690 Antidepressant 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10048-10048 Antidiuretic 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9797-9797 抗原 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9813-9813 Antihistamine 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9678-9678 Antiparasitic 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1328-1328 阿托品 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 80-80 生化剂 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1317-1317 CS气 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4291-4291 Carnitine 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 446-446 化学剂 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4792-4792 受控物质 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9338-9338 降凝剂 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 513-513 二巯基丙醇 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9996-9996 Diuretic 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6193-6193 Fentanyl 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14835-14835 激素 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9235-9235 医学 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9760-9760 MoodStabilizer 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6170-6170 Morphine 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14681-14681 营养 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9343-9343 鸦片 是 生物活性物质 的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 914-914 生化剂解毒剂 的 2 数量 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 933-933 疾病治疗 的 2 数量 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1557-1557 pathologicSideEffect 的 1 数量 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9933-9933 pathologyTreatment 的 2 数量 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1539-1539 副作用 的 1 数量 是 生物活性物质 的 subclass

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 180-185

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 823-840
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8660-8667
No TPTP formula. May not be expressible in strict first order. Merge.kif 11438-11446
No TPTP formula. May not be expressible in strict first order. Merge.kif 10472-10477


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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