TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 935-939
No TPTP formula. May not be expressible in strict first order.	WMD.kif 932-932	域疾病治療, 1 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 933-933	域子類疾病治療, 2 and BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 934-934	域子類疾病治療, 3 and Process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 931-931	例疾病治療 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 780-780
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 779-779
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 778-778
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19824-19824
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19823-19823
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19822-19822

antecedent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 957-961	DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance 子類 Process and Process DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 963-967	DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance 子類 BiologicallyActiveSubstance and BiologicallyActiveSubstance DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 941-955	DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance entity TimePosition, entity and entity 持有期間 TimePosition and attribute entity and DiseaseOrSyndrome 增加可能性例 entity and Process 時間部分何時 entity and TimePosition 體驗者 entity and entity 患者 entity and entity 例 entity and BiologicallyActiveSubstance and 持有期間眼前的未來 TimePosition and attribute entity and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1274-1276	DiseaseOrSyndrome 是對於 Process 的 disease 治癒抗生素例 DiseaseOrSyndrome and 細菌性疾病
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1322-1326	DiseaseOrSyndrome 是對於 Process 的 disease 治癒桿菌肽例 DiseaseOrSyndrome and 細菌性疾病子類 Process and Putting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1288-1290	DiseaseOrSyndrome 是對於 Process 的 disease 治癒口服抗生素子類 Process and Ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1315-1317	DiseaseOrSyndrome 是對於 Process 的 disease 治癒外用抗生素子類 Process and Covering

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 957-961	DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance 子類 Process and Process DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 963-967	DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance 子類 BiologicallyActiveSubstance and BiologicallyActiveSubstance DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance
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.	WMD.kif 1278-1282	例 DiseaseOrSyndrome and 病毒性疾病 Process DiseaseOrSyndrome 不是對於 Process 的 disease 治癒抗生素
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4614-4619	子類 Physical and Immunosuppressive 有目的 Physical and 例 entity and AutoImmuneDisorder entity 是對於 entity 的 disease 治癒 Physical

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4765-4765	ADHD 是對於 Ingesting 的 disease 治癒 Adderall
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4951-4951	Abatacept 是對於 Ingesting 的 disease 治癒 RheumatoidArthritis
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5634-5634	AllergicRhinitis 是對於 Ingesting 的 disease 治癒 Chlorpheniramine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5255-5255	AllergicRhinitis 是對於 Ingesting 的 disease 治癒 Levocetirizine
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1140-1140	炭疽病是對於 Ingesting 的 disease 治癒環丙沙星
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1139-1139	炭疽病是對於 Ingesting 的 disease 治癒多西環素
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3882-3882	焦慮是對於 Ingesting 的 disease 治癒 Benzodiazepine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3979-3979	AttentionDeficitHyperactivityDisorder 是對於 Ingesting 的 disease 治癒 Lisdexamfetamine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3599-3599	BacterialPneumonia 是對於 Ingesting 的 disease 治癒 Clarithromycin
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2469-2469	Beriberi 是對於 Ingesting 的 disease 治癒 VitaminB1
No TPTP formula. May not be expressible in strict first order.	WMD.kif 359-359	Burkholderia mallei 是對於 Ingesting 的 disease 治癒環丙沙星
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3932-3932	ChronicObstructivePulmonaryDisease 是對於 Ingesting 的 disease 治癒 Roflumilast
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4736-4736	CrohnsDisease 是對於 Ingesting 的 disease 治癒 MycophenolicAcid
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3915-3915	CrohnsDisease 是對於 Ingesting 的 disease 治癒 Sulfasalazine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4051-4051	Depression 是對於 Ingesting 的 disease 治癒 Escitalopram
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4377-4377	Eczema 是對於 TopicalApplication 的 disease 治癒 Crisaborole
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4679-4679	HeartAttack 是對於 Ingesting 的 disease 治癒 BetaBlocker
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4680-4680	HeartPalpitations 是對於 Ingesting 的 disease 治癒 BetaBlocker
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4681-4681	HighBloodPressure 是對於 Ingesting 的 disease 治癒 BetaBlocker
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5254-5254	Hives 是對於 Ingesting 的 disease 治癒 Levocetirizine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3883-3883	Insomnia 是對於 Ingesting 的 disease 治癒 Benzodiazepine
No TPTP formula. May not be expressible in strict first order.	WMD.kif 273-273	蝨傳斑疹傷寒是對於 Ingesting 的 disease 治癒口服抗生素
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4624-4624	Lupus 是對於 Ingesting 的 disease 治癒 Benelysta
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5617-5617	Lupus 是對於 Ingesting 的 disease 治癒 Hydroxychloroquine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4737-4737	Lupus 是對於 Ingesting 的 disease 治癒 MycophenolicAcid

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: