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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Injecting
Injecting(injecting)
infuse, inject, injection, shoot, shot

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3040-3041
No TPTP formula. May not be expressible in strict first order. Merge.kif 11585-11586
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1808-1809
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4734-4734
No TPTP formula. May not be expressible in strict first order. Merge.kif 11583-11583 Injecting is a subclass of inserting

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 283-283 Injecting is a biochemical agent delivery of bacillus anthracis
No TPTP formula. May not be expressible in strict first order. WMD.kif 357-357 Injecting is a biochemical agent delivery of burkholderia mallei
No TPTP formula. May not be expressible in strict first order. WMD.kif 373-373 Injecting is a biochemical agent delivery of burkholderia pseudomallei
No TPTP formula. May not be expressible in strict first order. WMD.kif 1507-1507 Injecting is a biochemical agent delivery of clostridium tetani
No TPTP formula. May not be expressible in strict first order. WMD.kif 1921-1921 Injecting is a biochemical agent delivery of crimean congo hemorrhagic fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1641-1641 Injecting is a biochemical agent delivery of dengue fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1690-1690 Injecting is a biochemical agent delivery of eastern equine encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1783-1783 Injecting is a biochemical agent delivery of hepatitis A virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1795-1795 Injecting is a biochemical agent delivery of hepatitisB virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1806-1806 Injecting is a biochemical agent delivery of hepatitisC virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1704-1704 Injecting is a biochemical agent delivery of japanese encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1661-1661 Injecting is a biochemical agent delivery of la crosse virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1616-1616 Injecting is a biochemical agent delivery of malarial plasmodium
No TPTP formula. May not be expressible in strict first order. WMD.kif 1736-1736 Injecting is a biochemical agent delivery of marburg virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1234-1234 Injecting is a biochemical agent delivery of monkeypox virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1675-1675 Injecting is a biochemical agent delivery of saint louis encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 2025-2025 Injecting is a biochemical agent delivery of tick borne encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1628-1628 Injecting is a biochemical agent delivery of west nile virus
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30162-30162 Injecting is a biochemical agent delivery of west nile virus
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30161-30161 Injecting is a biochemical agent delivery of west nile virus
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30160-30160 Injecting is a biochemical agent delivery of west nile virus

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 561-561 Nerve agent biochemical agent antidote atropine for injecting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5093-5093 Ondansetron is disease treatment nausea for injecting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5095-5095 Ondansetron is disease treatment vomiting for injecting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3627-3627 Rheumatoid arthritis is disease treatment clarithromycin for injecting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5278-5278 Rheumatoid arthritis is disease treatment sarilumab for injecting

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3631-3647
No TPTP formula. May not be expressible in strict first order. Merge.kif 11588-11596

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1366-1373
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1339-1345
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6396-6408
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6388-6394


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