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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiologicallyActiveSubstance
BiologicallyActiveSubstance(Substancia Biologica Ativa)

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 14718-14725
No TPTP formula. May not be expressible in strict first order. Merge.kif 14717-14717 Substancia Biologica Ativa e' uma sub-classe de Substancia

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10128-10128 AdenosineTriphosphate e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8671-8671 Alkaloid e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9855-9855 Antacid e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9694-9694 Antibiotic e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9717-9717 Antidepressant e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10075-10075 Antidiuretic e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9824-9824 Antigen e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9840-9840 Antihistamine e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9705-9705 Antiparasitic e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. WMD.kif 1328-1328 Atropine e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. WMD.kif 80-80 BiochemicalAgent e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1317-1317 CSGas e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4291-4291 Carnitine e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. WMD.kif 446-446 ChemicalAgent e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Economy.kif 4792-4792 ControlledSubstance e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9365-9365 Depressant e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. WMD.kif 513-513 Dimercaprol e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10023-10023 Diuretic e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6193-6193 Fentanyl e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Merge.kif 14881-14881 Hormonio e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9262-9262 Medicine e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9787-9787 MoodStabilizer e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6170-6170 Morphine e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Merge.kif 14727-14727 Nutriente e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9370-9370 Opium e' uma sub-classe de Substancia Biologica Ativa

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 O argumento numero 2 de biochemicalAgentAntidote e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. WMD.kif 933-933 O argumento numero 2 de diseaseMedicine e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. WMD.kif 1557-1557 O argumento numero 1 de pathologicSideEffect e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9960-9960 O argumento numero 2 de pathologyTreatment e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. WMD.kif 1539-1539 O argumento numero 1 de sideEffect e' uma sub-classe de Substancia Biologica Ativa

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 8687-8694
No TPTP formula. May not be expressible in strict first order. Merge.kif 11484-11492
No TPTP formula. May not be expressible in strict first order. Merge.kif 10506-10511


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



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