TreeView Knowledge Base Browser

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 11435-11436
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 4735-4735
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11433-11433	子類注射 and 插入

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 283-283	注射是炭疽桿菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 357-357	注射是 burkholderia mallei 的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 373-373	注射是 burkholderia 假單胞菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1507-1507	注射是破傷風梭菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1921-1921	注射是克里米亞剛果出血熱病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1641-1641	注射是登革熱病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1690-1690	注射是東部馬腦炎病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1783-1783	注射是 A型肝炎病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1795-1795	注射是 B型肝炎病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1806-1806	注射是 C型肝炎病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1704-1704	注射是日本腦炎病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1661-1661	注射是拉克羅斯病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1616-1616	注射是瘧疾瘧原蟲的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1736-1736	注射是馬爾堡病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1234-1234	注射是猴痘病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1675-1675	注射是聖路易斯腦炎病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2025-2025	注射是蜱傳腦炎病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1628-1628	注射是西尼羅河病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30151-30151
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30150-30150
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30149-30149

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	WMD.kif 561-561	神經毒劑 biochemical 病毒解毒製劑阿托品對於注射
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5086-5086	Ondansetron 是對於注射的 disease 治癒 Nausea
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5088-5088	Ondansetron 是對於注射的 disease 治癒 Vomiting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3624-3624	RheumatoidArthritis 是對於注射的 disease 治癒 Clarithromycin
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5269-5269	RheumatoidArthritis 是對於注射的 disease 治癒 Sarilumab

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3628-3644	例 Transfer and 注射例 Object and Adalimumab objectTransferred Transfer and Object 位於 Transfer and Object 例 Object and BodyPart 目的地 Transfer and Entity 模態屬性 entity 持有期間 entity and attribute Entity and PainFn Object 期間 entity and 未來何時 Transfer and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11438-11446	例 Process and 注射 Object Entity 患者 Process and Object 例 Object and BiologicallyActiveSubstance attribute Object and 液體目的地 Process and Entity 例 Entity and Animal

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1374-1381	持有期間 TimePosition and attribute entity and 傳染病 attribute entity and Diabetes attribute entity and ImpairedBodyPartFn 足持有期間 TimePosition and 傳染病是對於注射的 disease 治癒 Ertapenem
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1347-1353	例 Physical and InjectedAntibiotic 有目的 Physical and entity 例 entity and 注射 objectTransferred entity and Physical
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6378-6390	例 Physical and EpiPen 有目的 Physical and entity entity and entity 例 entity and 注射儀器 entity and Physical 目的地 entity and entity 體驗者 entity and entity 例 entity and Anaphylaxis 期間何時 entity and 何時 entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6370-6376	例 Physical and EpiPen 有目的 Physical and entity 例 entity and 注射儀器 entity and Physical

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

KB Term:			Term intersection

English Word: