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 9642-9648
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9641-9641 medicine 的 2 数量 是 疾病或综合症 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9640-9640 medicine 的 1 数量 是 医学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9639-9639 medicine 是 二元谓语 的 instance

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


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

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


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

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1258-1265
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9683-9688
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9671-9676

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 9693-9693 medicine Antidepressant and Depression
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1270-1270 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