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

Formal Language: 



KB Term:  Term intersection
English Word: 

  medicine

 Sigma KEE - medicine
medicine

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9641-9647
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9640-9640 medicine 的 2 数量 是 疾病或综合症 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9639-9639 medicine 的 1 数量 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9638-9638 medicine 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9649-9649
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9648-9648

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9651-9664

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1257-1264
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9682-9687
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9670-9675

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6359-6359 medicine Adrenaline and Analphylaxis
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9692-9692 medicine Antidepressant and Depression
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1269-1269 medicine Remdesivir and Covid19
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3246-3246 medicine Singulair and Asthma
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3310-3310 medicine Vyvanse and ADHD


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