DiseaseOrSyndrome - Sigma Knowledge base Browser

appearance as argument number 3

(domain biochemicalAgentSyndrome 2 DiseaseOrSyndrome)	WMD.kif 762-762	The number 2 argument of biochemical agent syndrome is an instance of disease or syndrome
(domain diseaseCandidate 2 DiseaseOrSyndrome)	Medicine.kif 1926-1926	The number 2 argument of disease candidate is an instance of disease or syndrome
(domain diseaseIncubation 1 DiseaseOrSyndrome)	WMD.kif 1530-1530	The number 1 argument of disease incubation is an instance of disease or syndrome
(domain diseaseMedicine 1 DiseaseOrSyndrome)	WMD.kif 932-932	The number 1 argument of disease treatment is an instance of disease or syndrome
(domain diseaseMortality 1 DiseaseOrSyndrome)	WMD.kif 885-885	The number 1 argument of disease mortality is an instance of disease or syndrome
(domain diseaseSymptom 1 DiseaseOrSyndrome)	WMD.kif 870-870	The number 1 argument of disease symptom is an instance of disease or syndrome
(domain diseaseSymptom 2 DiseaseOrSyndrome)	WMD.kif 871-871	The number 2 argument of disease symptom is an instance of disease or syndrome
(domain diseaseTreatment 1 DiseaseOrSyndrome)	Medicine.kif 5830-5830	The number 1 argument of disease treatment is an instance of disease or syndrome
(domain medicine 2 DiseaseOrSyndrome)	Mid-level-ontology.kif 10988-10988	The number 2 argument of medicine is an instance of disease or syndrome
(domain pathologicSymptom 1 DiseaseOrSyndrome)	Merge.kif 10534-10534	The number 1 argument of pathologic symptom is an instance of disease or syndrome
(domain sideEffect 2 DiseaseOrSyndrome)	WMD.kif 1540-1540	The number 2 argument of side effect is an instance of disease or syndrome

antecedent

(=> (and (connectedBodyPartTypes ?P1 ?P2 ?O) (instance ?OC ?O) (not (attribute ?H DiseaseOrSyndrome))) (exists (?PC1 ?PC2) (and (instance ?PC1 ?P1) (instance ?PC2 ?P2) (not (equal ?PC1 ?PC2)) (part ?PC1 ?OC) (part ?PC2 ?OC) (connected ?PC1 ?PC2))))	Anatomy.kif 32-46	If connected body parts a kind of body part, another kind of body part and a kind of organism and a kind of organismC is an instance of the kind of organism and disease or syndrome is not an attribute of another object, then there exist a third object and a fourth object such that the third object is an instance of a kind of body part and the fourth object is an instance of another kind of body part and the third object is not equal to the fourth object and the third object is a part of the kind of organismC and the fourth object is a part of the kind of organismC and the third object is connected to the fourth object
(=> (and (instance ?ANI Animal) (instance ?D DiseaseOrSyndrome) (not (attribute ?ANI ?D))) (exists (?P ?W) (and (instance ?P BiologicalProcess) (instance ?P Removing) (origin ?P ?ANI) (instance ?W Sewage) (agent ?P ?ANI) (objectTransferred ?P ?W))))	Mid-level-ontology.kif 2624-2637	If an agent is an instance of animal and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the agent, then there exist a transfer and an object such that the transfer is an instance of biological process and the transfer is an instance of removing and the transfer originates at the agent and the object is an instance of sewage and the agent is an agent of the transfer and the object transferred in the transfer is the object
(=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Foot) (instance ?L2 Foot) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H))))	Mid-level-ontology.kif 14058-14071	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of foot and the third object is an instance of foot and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H))))	Mid-level-ontology.kif 14031-14044	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of leg and the third object is an instance of leg and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Lung) (instance ?L2 Lung) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H))))	Mid-level-ontology.kif 12547-12560	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of lung and the third object is an instance of lung and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=> (and (instance ?R CervicalVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S CervicalVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connected ?S ?R))))	Anatomy.kif 576-589	If an object is an instance of cervical vertebra bone and the object is a part of another object and the other object is an instance of human and disease or syndrome is not an attribute of the other object, then there exists a third object such that the third object is an instance of cervical vertebra bone and the third object is not equal to the object and the third object is a part of the other object and the third object is connected to the object
(=> (and (instance ?R FalseRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (not (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connected ?S ?R)))))	Anatomy.kif 520-532	If an object is an instance of costae spuriae and the object is a part of another object and the other object is an instance of human and disease or syndrome is not an attribute of the other object, then there doesn't exist a third object such that the third object is an instance of sternum and the third object is a part of the other object and the third object is connected to the object
(=> (and (instance ?R LumbarVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S LumbarVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connected ?S ?R))))	Anatomy.kif 616-629	If an object is an instance of lumbar vertebra bone and the object is a part of another object and the other object is an instance of human and disease or syndrome is not an attribute of the other object, then there exists a third object such that the third object is an instance of lumbar vertebra bone and the third object is not equal to the object and the third object is a part of the other object and the third object is connected to the object
(=> (and (instance ?R ThoracicVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S ThoracicVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connected ?S ?R))))	Anatomy.kif 684-697	If an object is an instance of thoracic vertebra bone and the object is a part of another object and the other object is an instance of human and disease or syndrome is not an attribute of the other object, then there exists a third object such that the third object is an instance of thoracic vertebra bone and the third object is not equal to the object and the third object is a part of the other object and the third object is connected to the object
(=> (and (instance ?R TrueRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connected ?S ?R))))	Anatomy.kif 507-518	If an object is an instance of costae verae and the object is a part of another object and the other object is an instance of human and disease or syndrome is not an attribute of the other object, then there exists a third object such that the third object is an instance of sternum and the third object is a part of the other object and the third object is connected to the object
(=> (and (instance ?V VocalCords) (instance ?D DiseaseOrSyndrome) (not (attribute ?V ?D))) (exists (?F1 ?F2) (and (instance ?F1 VocalFold) (instance ?F2 VocalFold) (not (equal ?F1 ?F2)) (part ?F1 ?V) (part ?F2 ?V))))	Mid-level-ontology.kif 802-815	If an object is an instance of vocal cords and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of vocal fold and the third object is an instance of vocal fold and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=> (and (typicalBloodVolume ?M (MeasureFn ?N ?U)) (instance ?MI ?M) (holdsDuring ?T (and (not (attribute ?H DiseaseOrSyndrome)) (bloodVolume ?H (MeasureFn ?N2 ?U))))) (approximateValue ?N2 ?N))	Medicine.kif 5950-5961	If the typical volume of blood of a a kind of mammal is a real number an unit of measure(s) and a kind of mammalI is an instance of the kind of mammal and disease or syndrome is not an attribute of another entity and the other entity has the real number2 the unit of measure(s) of blood holds during a time position, then the approximate value of the real number2 is the real number

consequent

(=> (and (instance ?E Epidemic) (involvedInEvent ?E ?H)) (or (and (instance ?D DiseaseOrSyndrome) (attribute ?H ?D)) (exists (?P) (and (instance ?P PathologicProcess) (experiencer ?P ?H) (subProcess ?P ?E)))))	Medicine.kif 3518-3530	If a process is an instance of epidemic and an agent is an involved in event of the process, then an attribute is an instance of disease or syndrome and the attribute is an attribute of the agent or there exists another process such that the other process is an instance of pathologic process and the agent experiences the other process and the other process is a subprocess of the process
(=> (and (instance ?M Misdiagnosing) (agent ?M ?D) (refers ?M ?P) (instance ?P Human)) (exists (?DIS) (and (containsFormula ?M (attribute ?P ?DIS)) (instance ?DIS DiseaseOrSyndrome) (believes ?D (attribute ?P ?DIS)) (truth (attribute ?P ?DIS) False))))	Medicine.kif 4201-4216	If a process is an instance of misdiagnosing and a cognitive agent is an agent of the process and the process includes a reference to an entity and the entity is an instance of human, then there exists the cognitive agentIS such that the process contains the formula the cognitive agentIS is an attribute of the entity and the cognitive agentIS is an instance of disease or syndrome and the cognitive agent believes the cognitive agentIS is an attribute of the entity and the cognitive agentIS is an attribute of the entity is false
(=> (and (instance ?PATH PathologicProcess) (experiencer ?PATH ?ORG)) (exists (?PART ?DISEASE) (and (part ?PART ?ORG) (instance ?DISEASE DiseaseOrSyndrome) (attribute ?PART ?DISEASE))))	Merge.kif 10519-10527	If a process is an instance of pathologic process and an agent experiences the process, then there exist an object and an attribute such that the object is a part of the agent and the attribute is an instance of disease or syndrome and the attribute is an attribute of the object
(=> (and (instance ?R RecoveringFromIllness) (experiencer ?R ?A)) (exists (?D) (and (instance ?D DiseaseOrSyndrome) (holdsDuring (BeginFn (WhenFn ?D)) (attribute ?A ?D)) (holdsDuring (EndFn (WhenFn ?D)) (not (attribute ?A ?D))))))	Mid-level-ontology.kif 7208-7221	If a process is an instance of recovering from illness and an agent experiences the process, then there exists a physical such that the physical is an instance of disease or syndrome and the physical is an attribute of the agent holds during the beginning of the time of existence of the physical and the physical is not an attribute of the agent holds during the end of the time of existence of the physical
(=> (and (instance ?T TakingIll) (experiencer ?T ?A)) (exists (?D) (and (instance ?D DiseaseOrSyndrome) (holdsDuring (BeginFn (WhenFn ?T)) (not (attribute ?A ?D))) (holdsDuring (EndFn (WhenFn ?T)) (attribute ?A ?D)))))	Mid-level-ontology.kif 6888-6901	If a process is an instance of taking ill and an agent experiences the process, then there exists an entity such that the entity is an instance of disease or syndrome and the entity is not an attribute of the agent holds during the beginning of the time of existence of the process and the entity is an attribute of the agent holds during the end of the time of existence of the process
(=> (and (instance ?W SickLeave) (agent ?W ?PERSON)) (exists (?S) (and (instance ?S DiseaseOrSyndrome) (refers ?W ?S))))	Mid-level-ontology.kif 22093-22100	If a process is an instance of sick leave and an agent is an agent of the process, then there exists an entity such that the entity is an instance of disease or syndrome and the process includes a reference to the entity
(=> (attribute ?X Healthy) (not (exists (?Y) (and (instance ?Y DiseaseOrSyndrome) (attribute ?X ?Y)))))	Mid-level-ontology.kif 31961-31967	If healthy is an attribute of an object, then there doesn't exist an attribute such that the attribute is an instance of disease or syndrome and the attribute is an attribute of the object
(=> (instance ?A Ambulance) (hasPurpose ?A (exists (?P ?T) (and (instance ?P Human) (or (attribute ?P DiseaseOrSyndrome) (exists (?I ?H) (and (instance ?I Injuring) (experiencer ?I ?H) (before ?I ?T)))) (instance ?T Transportation) (instrument ?T ?A) (patient ?T ?H)))))	Transportation.kif 2046-2061	If a physical is an instance of ambulance, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and disease or syndrome is an attribute of the entity or there exist a third entity and a fourth entity such that the third entity is an instance of injuring and the fourth entity experiences the third entity and the third entity happens before the other entity and the other entity is an instance of transportation and the physical is an instrument for the other entity and the fourth entity is a patient of the other 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

(documentation DiseaseOrSyndrome ChineseLanguage "这是一种 BiologicalAttribute，当中它的出现表示有某些东西正在干扰或改变 Organism 的正常的过程、状态或活动。它的特征通常是主体的一个或多个系统、部分或 Organ 功能失常。")	chinese_format.kif 4029-4031
(documentation DiseaseOrSyndrome EnglishLanguage "A BiologicalAttribute which qualifies something that alters or interferes with a normal process, state or activity of an Organism. It is usually characterized by the abnormal functioning of one or more of the host's systems, parts, or Organs.")	Merge.kif 18385-18388
(subclass DiseaseOrSyndrome BiologicalAttribute)	Merge.kif 18384-18384	Disease or syndrome is a subclass of biological attribute

(instance Anemia DiseaseOrSyndrome)	Medicine.kif 138-138	Anaemia is an instance of disease or syndrome
(instance Asthma DiseaseOrSyndrome)	Medicine.kif 3396-3396	Asthma is an instance of disease or syndrome
(instance Bedridden DiseaseOrSyndrome)	Mid-level-ontology.kif 12384-12384	Bed ridden is an instance of disease or syndrome
(instance Beriberi DiseaseOrSyndrome)	Medicine.kif 2466-2466	Beriberi is an instance of disease or syndrome
(instance BoneFracture DiseaseOrSyndrome)	Medicine.kif 6139-6139	Bone fracture is an instance of disease or syndrome
(instance BrainDead DiseaseOrSyndrome)	Medicine.kif 5183-5183	Brain dead is an instance of disease or syndrome
(instance Bruise DiseaseOrSyndrome)	Medicine.kif 401-401	A hematoma is an instance of disease or syndrome
(instance Cancer DiseaseOrSyndrome)	Mid-level-ontology.kif 7248-7248	Cancer is an instance of disease or syndrome
(instance CatastrophicBloodLoss DiseaseOrSyndrome)	Medicine.kif 5963-5963	Catastrophic blood loss is an instance of disease or syndrome
(instance ChronicFatigueSyndrome DiseaseOrSyndrome)	Medicine.kif 1471-1471	ME/CFS is an instance of disease or syndrome
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome)	Mid-level-ontology.kif 6912-6912	COPD is an instance of disease or syndrome
(instance Coma DiseaseOrSyndrome)	Medicine.kif 5212-5212	In a coma is an instance of disease or syndrome
(instance Diabetes DiseaseOrSyndrome)	Medicine.kif 1375-1375	Diabetes mellitus is an instance of disease or syndrome
(instance Diarrhea DiseaseOrSyndrome)	Mid-level-ontology.kif 6907-6907	Diarrhea is an instance of disease or syndrome
(instance Dizzy DiseaseOrSyndrome)	Mid-level-ontology.kif 17813-17813	Dizziness is an instance of disease or syndrome
(instance Eczema DiseaseOrSyndrome)	Medicine.kif 4368-4368	Atopic dermatitis is an instance of disease or syndrome
(instance Fever DiseaseOrSyndrome)	Mid-level-ontology.kif 7112-7112	A fever is an instance of disease or syndrome
(instance Gastroenteritis DiseaseOrSyndrome)	WMD.kif 1105-1105	Gastroenteritis is an instance of disease or syndrome
(instance Goiter DiseaseOrSyndrome)	Mid-level-ontology.kif 7127-7127	A goiter is an instance of disease or syndrome
(instance HeartDisease DiseaseOrSyndrome)	Medicine.kif 5729-5729	Cardiovascular disease is an instance of disease or syndrome
(instance HighBloodPressure DiseaseOrSyndrome)	Mid-level-ontology.kif 11812-11812	Hypertension is an instance of disease or syndrome
(instance HivAids DiseaseOrSyndrome)	People.kif 475-475	Hiv aids is an instance of disease or syndrome
(instance Hyperferritinemia DiseaseOrSyndrome)	Medicine.kif 4937-4937	Hyperferritinemia is an instance of disease or syndrome
(instance Hypersalivation DiseaseOrSyndrome)	Medicine.kif 5329-5329	Hypersalivation is an instance of disease or syndrome
(instance Hyperthermia DiseaseOrSyndrome)	Medicine.kif 668-668	Hyperthermia is an instance of disease or syndrome

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

KB Term:			Term intersection

English Word: