TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2908-2908
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10249-10250
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1657-1657
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10246-10246	子類 Ingesting and OrganismProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10247-10247	子類 Ingesting and Transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 282-282	Ingesting 是炭疽桿菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1850-1850	Ingesting 是蠟狀芽孢桿菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 478-478	Ingesting 是發泡劑的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 326-326	Ingesting 是肉毒桿菌毒素的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 375-375	Ingesting 是 burkholderia 假單胞菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 342-342	Ingesting 是產氣莢膜梭菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1251-1251	Ingesting 是 coxiella burnetii 的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 350-350	Ingesting 是 ε毒素的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1720-1720	Ingesting 是大腸桿菌 coli0157 h7 的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1782-1782	Ingesting 是 A型肝炎病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1858-1858	Ingesting 是拉薩病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1818-1818	Ingesting 是輪狀病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1353-1353	Ingesting 是傷寒沙門氏菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1456-1456	Ingesting 是石房蛤毒素的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1333-1333	Ingesting 是志賀氏痢疾桿菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1441-1441	Ingesting 是葡萄球菌腸毒素b 的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1493-1493	Ingesting 是霍亂弧菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10271-10271	子類 Drinking and Ingesting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10260-10260	子類 Eating and Ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1068-1068	子類 IVTherapy and Ingesting
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1079-1079
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1369-1369
No TPTP formula. May not be expressible in strict first order.	french_format.kif 757-757
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 289-289

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

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 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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3597-3597	LymeDisease 是對於 Ingesting 的 disease 治癒 Clarithromycin

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9839-9861	例 Object and Antacid 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃部分 Object and AutonomousAgent 持有期間不久的過去何時 Motion and 包含 Object and Object 例 Object and 流體持有期間眼前的未來何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9900-9922	例 Object and ProtonPumpInhibitor 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃部分 Object and AutonomousAgent 持有期間不久的過去何時 Motion and 包含 Object and Object 例 Object and 流體持有期間眼前的未來何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10252-10258	例 Process and Ingesting 資源 Process and Object 例 Object and food for Organism 例 Object and 醫學
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10055-10078	例 Object and Antidiuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 等於 TimeInterval and TimeInterval 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10025-10046	例 Object and Diuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1563-1575	例 Transfer and Ingesting 體驗者 Transfer and AutonomousAgent objectTransferred Transfer and Object 例 Object and ObjectC pathologicSideEffect ObjectC and ObjectIS 模態屬性 entity 例 entity and ObjectIS 體驗者 AutonomousAgent and entity and 容易
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1545-1554	例 Transfer and Ingesting 體驗者 Transfer and AutonomousAgent objectTransferred Transfer and Object 例 Object and ObjectC ObjectIS 是服用 ObjectC 的 side effect 模態屬性 attribute AutonomousAgent and ObjectIS and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9774-9795	例 Transfer and Ingesting 體驗者 Transfer and AutonomousAgent objectTransferred Transfer and Object 例 Object and MoodStabilizer 例 Process and ProcessC AutonomousAgent 是事件 Process 的 involved 持有期間何時 Process and attribute AutonomousAgent and ProcessS 例 ProcessS and EmotionalState 例 Process2 and ProcessC AutonomousAgent 是事件 Process2 的 involved 早期何時 Process2 and 何時 Transfer 模態屬性持有期間 Process2 and attribute AutonomousAgent and ProcessS and 較不可能
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 88-99	例 Transfer and Ingesting objectTransferred Transfer and Object 例 Object and 迷幻劑目的地 Transfer and Entity 模態屬性 ObjectAL 例 ObjectAL and Hallucination 體驗者 ObjectAL and Entity and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8600-8610	例 Object and Poison 例 Motion and Ingesting 移動 Motion and Object 體驗者 Motion and AutonomousAgent Process 例 Process and Damaging 體驗者 Process and AutonomousAgent 原因 Motion and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8624-8635	例 Object and Poison 例 Motion and Ingesting 移動 Motion and Object 體驗者 Motion and AutonomousAgent 模態屬性持有期間未來何時 Motion and attribute AutonomousAgent and 盲 and 可能性

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	等於測量 RealNumber and McgPerKg and MassMeasure 是 MassMeasure 的 per 等於 MassMeasure and 測量 RealNumber and 微公克等於 MassMeasure and 測量 RealNumber and 千公克 Process SelfConnectedObject and SelfConnectedObject 例 Process and Ingesting 例 SelfConnectedObject and BiologicallyActiveSubstance 例 SelfConnectedObject and Organism 患者 Process and SelfConnectedObject agent Process and SelfConnectedObject MassMeasure 是 SelfConnectedObject 的 weight MassMeasure 是 SelfConnectedObject 的 weight
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10289-10297	例 Process and 消化 agent Process and AutonomousAgent Process 例 Process and Ingesting agent Process and AutonomousAgent 暫時重疊何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Food.kif 2548-2562	例 Object and Organism 例 Object and 蛋 attribute Object and 胚胎部分 Object and Object Physical 例 Physical and EggYolk 有目的 Physical and entity 例 entity and Ingesting agent entity and Object 資源 entity and Physical
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.	Medicine.kif 3317-3332	例 Physical and Antiseizure 有目的 Physical and entity entity and entity 例 entity and Human 例 entity and Ingesting objectTransferred entity and Physical agent entity and entity 早期何時 entity and entity 持有期間 entity and entity 例 entity and Seizure 體驗者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9697-9709	例 Physical and Antidepressant 有目的 Physical and entity entity 例 entity and Ingesting objectTransferred entity and Physical agent Physical and entity 持有期間未來何時 entity and attribute entity and Depression
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9717-9729	例 Physical and Antipsychotic 有目的 Physical and entity entity 例 entity and Ingesting objectTransferred entity and Physical agent Physical and entity 持有期間未來何時 entity and attribute entity and 精神病
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4891-4911	例 Physical and Ivabradine 有目的 Physical and entity PhysicalN and entity 例 entity and Human 例 entity and PainFn Chest 體驗者 entity and entity 例 PhysicalN and Ingesting agent PhysicalN and entity 早期何時 entity and 何時 PhysicalN entity 例 entity and PainFn Chest 體驗者 entity and entity 早期何時 PhysicalN and 何時 entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12421-12441	例 Physical and AntiInflammatory 有目的 Physical and entity entity and entityN 例 entity and Inflammation 體驗者 entity and entity 例 entityN and Ingesting 之前開始何時 entity and 開始何時 entityN 持有期間未來何時 entity and entity 例 entity and Inflammation 體驗者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9255-9263	例 Physical and Pill 有目的 Physical and entity entity 例 entity and Animal 例 entity and Ingesting 體驗者 entity and entity objectTransferred entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6610-6615	例 Process and Swallowing Process 例 Process and Ingesting 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2252-2258	例 Physical and 餐具有目的 Physical and entity 例 entity and Ingesting 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1050-1066	例 Physical and TranexamicAcid 有目的 Physical and entity 例 entity and Human 降低可能性 entity 例 entity and Ingesting objectTransferred entity and Physical 目的地 entity and entity and entity entity 例 entity and Human 例 entity and 流血的起源 entity and entity

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: