DiseaseOrSyndrome - Sigma Knowledge base Browser

appearance as argument number 1

(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 17952-17955
(subclass DiseaseOrSyndrome BiologicalAttribute)	Merge.kif 17951-17951	Disease or syndrome is a subclass of biological attribute

appearance as argument number 2

(instance Bedridden DiseaseOrSyndrome)	Mid-level-ontology.kif 10542-10542	Bed ridden is an instance of disease or syndrome
(instance Cancer DiseaseOrSyndrome)	Mid-level-ontology.kif 5970-5970	Cancer is an instance of disease or syndrome
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome)	Mid-level-ontology.kif 5642-5642	COPD is an instance of disease or syndrome
(instance Diarrhea DiseaseOrSyndrome)	Mid-level-ontology.kif 5637-5637	Diarrhea is an instance of disease or syndrome
(instance Dizzy DiseaseOrSyndrome)	Mid-level-ontology.kif 15851-15851	Dizzy is an instance of disease or syndrome
(instance Fever DiseaseOrSyndrome)	Mid-level-ontology.kif 5840-5840	Fever is an instance of disease or syndrome
(instance Gastroenteritis DiseaseOrSyndrome)	WMD.kif 1099-1099	Gastroenteritis is an instance of disease or syndrome
(instance Goiter DiseaseOrSyndrome)	Mid-level-ontology.kif 5855-5855	Goiter is an instance of disease or syndrome
(instance HighBloodPressure DiseaseOrSyndrome)	Mid-level-ontology.kif 9994-9994	High blood pressure is an instance of disease or syndrome
(instance HivAids DiseaseOrSyndrome)	People.kif 485-485	Hiv aids is an instance of disease or syndrome
(instance Paralysis DiseaseOrSyndrome)	Mid-level-ontology.kif 5981-5981	Paralysis is an instance of disease or syndrome
(instance Pneumonia DiseaseOrSyndrome)	Mid-level-ontology.kif 5874-5874	Pneumonia is an instance of disease or syndrome
(instance RespiratoryDistress DiseaseOrSyndrome)	VirusProteinAndCellPart.kif 736-736	Respiratory distress is an instance of disease or syndrome
(instance SexualDysfunction DiseaseOrSyndrome)	Mid-level-ontology.kif 6077-6077	Sexual dysfunction is an instance of disease or syndrome
(range DeadOrMissingBodyPartFn DiseaseOrSyndrome)	Merge.kif 17979-17979	The range of DeadOrMissingBodyPartFn is an instance of disease or syndrome
(range ImpairedBodyPartFn DiseaseOrSyndrome)	Merge.kif 17959-17959	The range of ImpairedBodyPartFn is an instance of disease or syndrome
(subclass AcquiredImmunoDeficiencySyndrome DiseaseOrSyndrome)	WMD.kif 1333-1333	Acquired immuno deficiency syndrome is a subclass of disease or syndrome
(subclass ChronicDisease DiseaseOrSyndrome)	Mid-level-ontology.kif 5592-5592	Chronic disease is a subclass of disease or syndrome
(subclass Disability DiseaseOrSyndrome)	Mid-level-ontology.kif 19125-19125	Disability is a subclass of disease or syndrome
(subclass FungalDisease DiseaseOrSyndrome)	Mid-level-ontology.kif 5560-5560	Fungal disease is a subclass of disease or syndrome
(subclass InfectiousDisease DiseaseOrSyndrome)	Mid-level-ontology.kif 5512-5512	Infectious disease is a subclass of disease or syndrome
(subclass LifeThreateningDisease DiseaseOrSyndrome)	WMD.kif 1017-1017	Life threatening disease is a subclass of disease or syndrome
(subclass NonspecificDisease DiseaseOrSyndrome)	Mid-level-ontology.kif 5486-5486	Nonspecific disease is a subclass of disease or syndrome
(subclass ParasiticDisease DiseaseOrSyndrome)	Mid-level-ontology.kif 5547-5547	Parasitic disease is a subclass of disease or syndrome
(subclass PhysicalDisease DiseaseOrSyndrome)	Mid-level-ontology.kif 5501-5501	Physical disease is a subclass of disease or syndrome

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 diseaseIncubation 1 DiseaseOrSyndrome)	WMD.kif 1521-1521	The number 1 argument of disease incubation is an instance of disease or syndrome
(domain diseaseMortality 1 DiseaseOrSyndrome)	WMD.kif 884-884	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)	WMD.kif 928-928	The number 1 argument of disease treatment is an instance of disease or syndrome
(domain medicine 2 DiseaseOrSyndrome)	VirusProteinAndCellPart.kif 743-743	The number 2 argument of medicine is an instance of disease or syndrome
(domain pathologicSymptom 1 DiseaseOrSyndrome)	Merge.kif 10322-10322	The number 1 argument of pathologic symptom is an instance of disease or syndrome
(domain sideEffect 2 DiseaseOrSyndrome)	WMD.kif 1531-1531	The number 2 argument of side effect is an instance of disease or syndrome

antecedent

(=> (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 2121-2134	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 12174-12187	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 12147-12160	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 10704-10717	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 ?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 774-787	If an object is an instance of VocalCords 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 VocalFold and the third object is an instance of VocalFold 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

consequent

(=> (and (instance ?PATH PathologicProcess) (experiencer ?PATH ?ORG)) (exists (?PART ?DISEASE) (and (part ?PART ?ORG) (instance ?DISEASE DiseaseOrSyndrome) (attribute ?PART ?DISEASE))))	Merge.kif 10307-10315	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 ?T)) (attribute ?A ?D)) (holdsDuring (EndFn (WhenFn ?T)) (not (attribute ?A ?D))))))	Mid-level-ontology.kif 5930-5943	If a process is an instance of recovering from illness 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 an attribute of the agent holds during the beginning of the time of existence of a physical and the entity 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 5618-5631	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 19806-19813	If a process is an instance of SickLeave 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 29686-29692	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) (and (instance ?I Injuring) (experiencer ?I ?H) (before ?I ?T)))) (instance ?T Transportation) (instrument ?T ?A) (patient ?T ?H)))))	Transportation.kif 1914-1929	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 exists a third entity such that the third entity is an instance of injuring and a 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

KB Term:			Term intersection

English Word: