DiseaseOrSyndrome - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4029-4031
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18234-18237
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18233-18233	子類 DiseaseOrSyndrome and BiologicalAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 138-138	例 Anemia and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3395-3395	例 Asthma and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11034-11034	例 Bedridden and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2468-2468	例 Beriberi and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6122-6122	例 BoneFracture and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5175-5175	例 BrainDead and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 412-412	例 Bruise and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6291-6291	例癌症 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5946-5946	例 CatastrophicBloodLoss and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1479-1479	例 ChronicFatigueSyndrome and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5955-5955	例 ChronicObstructivePulmonaryDisease and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5204-5204	例 Coma and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1383-1383	例 Diabetes and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5950-5950	例腹瀉 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16405-16405	例 Dizzy and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4361-4361	例 Eczema and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6155-6155	例發熱 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1105-1105	例胃腸炎 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6170-6170	例甲狀腺腫 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5718-5718	例 HeartDisease and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10462-10462	例 HighBloodPressure and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	People.kif 475-475	例 HIV愛滋病 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4930-4930	例 Hyperferritinemia and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5320-5320	例 Hypersalivation and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 677-677	例 Hyperthermia and DiseaseOrSyndrome

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.	WMD.kif 762-762	域生化藥物綜合症, 2 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1933-1933	域 diseaseCandidate, 2 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1530-1530	域疾病孵化, 1 and DiseaseOrSyndrome
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 885-885	域疾病死亡率, 1 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 870-870	域疾病症狀, 1 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 871-871	域疾病症狀, 2 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5818-5818	域 diseaseTreatment, 1 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9640-9640	域 medicine, 2 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10431-10431	域 pathologicSymptom, 1 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1540-1540	域副作用, 2 and DiseaseOrSyndrome

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 32-46	connectedBodyPartTypes BodyPart, BodyPart and Organism 例 OrganismC and Organism attribute Object and DiseaseOrSyndrome Object Object 例 Object and BodyPart 例 Object and BodyPart 等於 Object and Object 部分 Object and OrganismC 部分 Object and OrganismC 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2162-2175	例 AutonomousAgent and Animal 例 Attribute and DiseaseOrSyndrome attribute AutonomousAgent and Attribute Transfer Object 例 Transfer and BiologicalProcess 例 Transfer and Removing 起源 Transfer and AutonomousAgent 例 Object and 污水 agent Transfer and AutonomousAgent objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12708-12721	例 Object and Primate 例 Attribute and DiseaseOrSyndrome attribute Object and Attribute Object Object 例 Object and 足例 Object and 足等於 Object and Object 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12681-12694	例 Object and Primate 例 Attribute and DiseaseOrSyndrome attribute Object and Attribute Object Object 例 Object and 腿例 Object and 腿等於 Object and Object 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11197-11210	例 Object and Primate 例 Attribute and DiseaseOrSyndrome attribute Object and Attribute Object Object 例 Object and 肺例 Object and 肺等於 Object and Object 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 561-574	例 BodyPart and CervicalVertebraBone 部分 BodyPart and Object 例 Object and Human attribute Object and DiseaseOrSyndrome BodyPart 例 BodyPart and CervicalVertebraBone 等於 BodyPart and BodyPart 部分 BodyPart and Object connectedBodyPart BodyPart and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 505-517	例 BodyPart and FalseRibBone 部分 BodyPart and Object 例 Object and Human attribute Object and DiseaseOrSyndrome BodyPart 例 BodyPart and Sternum 部分 BodyPart and Object connectedBodyPart BodyPart and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 601-614	例 BodyPart and LumbarVertebraBone 部分 BodyPart and Object 例 Object and Human attribute Object and DiseaseOrSyndrome BodyPart 例 BodyPart and LumbarVertebraBone 等於 BodyPart and BodyPart 部分 BodyPart and Object connectedBodyPart BodyPart and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 669-682	例 BodyPart and ThoracicVertebraBone 部分 BodyPart and Object 例 Object and Human attribute Object and DiseaseOrSyndrome BodyPart 例 BodyPart and ThoracicVertebraBone 等於 BodyPart and BodyPart 部分 BodyPart and Object connectedBodyPart BodyPart and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 492-503	例 BodyPart and TrueRibBone 部分 BodyPart and Object 例 Object and Human attribute Object and DiseaseOrSyndrome BodyPart 例 BodyPart and Sternum 部分 BodyPart and Object connectedBodyPart BodyPart and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 809-822	例 Object and VocalCords 例 Attribute and DiseaseOrSyndrome attribute Object and Attribute Object Object 例 Object and VocalFold 例 Object and VocalFold 等於 Object and Object 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5933-5944	typicalBloodVolume Mammal and 測量 RealNumber and UnitOfMeasure 例 MammalI and Mammal 持有期間 TimePosition and attribute entity and DiseaseOrSyndrome bloodVolume entity and 測量 RealNumber and UnitOfMeasure approximateValue RealNumber and RealNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3517-3529	例 Process and Epidemic AutonomousAgent 是事件 Process 的 involved 例 Attribute and DiseaseOrSyndrome attribute AutonomousAgent and Attribute Process 例 Process and PathologicProcess 體驗者 Process and AutonomousAgent 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4195-4210	例 Process and Misdiagnosing agent Process and CognitiveAgent 參照 Process and Entity 例 Entity and Human CognitiveAgentIS containsFormula Process and attribute Entity and CognitiveAgentIS 例 CognitiveAgentIS and DiseaseOrSyndrome 相信 CognitiveAgent and attribute Entity and CognitiveAgentIS 真相 attribute Entity and CognitiveAgentIS and 假
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10416-10424	例 Process and PathologicProcess 體驗者 Process and AutonomousAgent Object Attribute 部分 Object and AutonomousAgent 例 Attribute and DiseaseOrSyndrome attribute Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6251-6264	例 Process and 從疾病中恢復過來體驗者 Process and AutonomousAgent Physical 例 Physical and DiseaseOrSyndrome 持有期間開始何時 Physical and attribute AutonomousAgent and Physical 持有期間結束何時 Physical and attribute AutonomousAgent and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5931-5944	例 Process and 生病了體驗者 Process and AutonomousAgent Entity 例 Entity and DiseaseOrSyndrome 持有期間開始何時 Process and attribute AutonomousAgent and Entity 持有期間結束何時 Process and attribute AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20458-20465	例 Process and SickLeave agent Process and AutonomousAgent Entity 例 Entity and DiseaseOrSyndrome 參照 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30272-30278	attribute Object and Healthy Attribute 例 Attribute and DiseaseOrSyndrome attribute Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1906-1921	例 Physical and 救護車有目的 Physical and entity entity 例 entity and Human attribute entity and DiseaseOrSyndrome entity entity 例 entity and Injuring 體驗者 entity and entity 之前 entity and entity 例 entity and Transportation 儀器 entity and Physical 患者 entity and entity

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

KB Term:			Term intersection

English Word: