TreeView 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 18212-18215
(subclass DiseaseOrSyndrome BiologicalAttribute)	Merge.kif 18211-18211	DiseaseOrSyndrome ist eine teilkategorie von BiologicalAttribute

appearance as argument number 2

(instance Anemia DiseaseOrSyndrome)	Medicine.kif 138-138	Anemia ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Asthma DiseaseOrSyndrome)	Medicine.kif 3395-3395	Asthma ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Bedridden DiseaseOrSyndrome)	Mid-level-ontology.kif 11035-11035	Bedridden ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Beriberi DiseaseOrSyndrome)	Medicine.kif 2468-2468	Beriberi ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance BoneFracture DiseaseOrSyndrome)	Medicine.kif 6122-6122	BoneFracture ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance BrainDead DiseaseOrSyndrome)	Medicine.kif 5175-5175	BrainDead ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Bruise DiseaseOrSyndrome)	Medicine.kif 412-412	Bruise ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Cancer DiseaseOrSyndrome)	Mid-level-ontology.kif 6292-6292	Cancer ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance CatastrophicBloodLoss DiseaseOrSyndrome)	Medicine.kif 5946-5946	CatastrophicBloodLoss ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance ChronicFatigueSyndrome DiseaseOrSyndrome)	Medicine.kif 1479-1479	ChronicFatigueSyndrome ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome)	Mid-level-ontology.kif 5956-5956	ChronicObstructivePulmonaryDisease ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Coma DiseaseOrSyndrome)	Medicine.kif 5204-5204	Coma ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Diabetes DiseaseOrSyndrome)	Medicine.kif 1383-1383	Diabetes ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Diarrhea DiseaseOrSyndrome)	Mid-level-ontology.kif 5951-5951	Diarrhea ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Dizzy DiseaseOrSyndrome)	Mid-level-ontology.kif 16406-16406	Dizzy ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Eczema DiseaseOrSyndrome)	Medicine.kif 4361-4361	Eczema ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Fever DiseaseOrSyndrome)	Mid-level-ontology.kif 6156-6156	Fever ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Gastroenteritis DiseaseOrSyndrome)	WMD.kif 1105-1105	Gastroenteritis ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Goiter DiseaseOrSyndrome)	Mid-level-ontology.kif 6171-6171	Goiter ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance HeartDisease DiseaseOrSyndrome)	Medicine.kif 5718-5718	HeartDisease ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance HighBloodPressure DiseaseOrSyndrome)	Mid-level-ontology.kif 10463-10463	HighBloodPressure ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance HivAids DiseaseOrSyndrome)	People.kif 475-475	HivAids ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Hyperferritinemia DiseaseOrSyndrome)	Medicine.kif 4930-4930	Hyperferritinemia ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Hypersalivation DiseaseOrSyndrome)	Medicine.kif 5320-5320	Hypersalivation ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance Hyperthermia DiseaseOrSyndrome)	Medicine.kif 677-677	Hyperthermia ist ein fall von DiseaseOrSyndrome %n{nicht}

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	Die Zahl 2 Argument von biochemicalAgentSyndrome ist ein fall von DiseaseOrSyndrome %n{nicht}
(domain diseaseCandidate 2 DiseaseOrSyndrome)	Medicine.kif 1933-1933	Die Zahl 2 Argument von diseaseCandidate ist ein fall von DiseaseOrSyndrome %n{nicht}
(domain diseaseIncubation 1 DiseaseOrSyndrome)	WMD.kif 1530-1530	Die Zahl 1 Argument von diseaseIncubation ist ein fall von DiseaseOrSyndrome %n{nicht}
(domain diseaseMedicine 1 DiseaseOrSyndrome)	WMD.kif 932-932	Die Zahl 1 Argument von diseaseMedicine ist ein fall von DiseaseOrSyndrome %n{nicht}
(domain diseaseMortality 1 DiseaseOrSyndrome)	WMD.kif 885-885	Die Zahl 1 Argument von diseaseMortality ist ein fall von DiseaseOrSyndrome %n{nicht}
(domain diseaseSymptom 1 DiseaseOrSyndrome)	WMD.kif 870-870	Die Zahl 1 Argument von diseaseSymptom ist ein fall von DiseaseOrSyndrome %n{nicht}
(domain diseaseSymptom 2 DiseaseOrSyndrome)	WMD.kif 871-871	Die Zahl 2 Argument von diseaseSymptom ist ein fall von DiseaseOrSyndrome %n{nicht}
(domain diseaseTreatment 1 DiseaseOrSyndrome)	Medicine.kif 5818-5818	Die Zahl 1 Argument von diseaseTreatment ist ein fall von DiseaseOrSyndrome %n{nicht}
(domain medicine 2 DiseaseOrSyndrome)	Mid-level-ontology.kif 9641-9641	Die Zahl 2 Argument von medicine ist ein fall von DiseaseOrSyndrome %n{nicht}
(domain pathologicSymptom 1 DiseaseOrSyndrome)	Merge.kif 10409-10409	Die Zahl 1 Argument von pathologicSymptom ist ein fall von DiseaseOrSyndrome %n{nicht}
(domain sideEffect 2 DiseaseOrSyndrome)	WMD.kif 1540-1540	Die Zahl 2 Argument von sideEffect ist ein fall von DiseaseOrSyndrome %n{nicht}

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	Wenn connectedBodyPartTypes BodyPart, BodyPart and Organism und OrganismC ist ein fall von Organism %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt Object und Object um Object ist ein fall von BodyPart %n{nicht} und Object ist ein fall von BodyPart %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von OrganismC %n{nicht} und Object ist ein teil von OrganismC %n{nicht} und Object wird an ** Object angeschlossen
(=> (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 2162-2175	Wenn AutonomousAgent ist ein fall von Animal %n{nicht} und Attribute ist ein fall von DiseaseOrSyndrome %n{nicht} und Attribute ist ein attribut von AutonomousAgent nicht, dann es gibt Transfer und Object um Transfer ist ein fall von BiologicalProcess %n{nicht} und Transfer ist ein fall von Removing %n{nicht} und Transfer beginnet an AutonomousAgent %n{nicht} und Object ist ein fall von Sewage %n{nicht} und Transfer ist der agent von AutonomousAgent %n{nicht} und objectTransferred Transfer and ** 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 12709-12722	Wenn Object ist ein fall von Primate %n{nicht} und Attribute ist ein fall von DiseaseOrSyndrome %n{nicht} und Attribute ist ein attribut von Object nicht, dann es gibt Object und Object um Object ist ein fall von Foot %n{nicht} und Object ist ein fall von Foot %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (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 12682-12695	Wenn Object ist ein fall von Primate %n{nicht} und Attribute ist ein fall von DiseaseOrSyndrome %n{nicht} und Attribute ist ein attribut von Object nicht, dann es gibt Object und Object um Object ist ein fall von Leg %n{nicht} und Object ist ein fall von Leg %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (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 11198-11211	Wenn Object ist ein fall von Primate %n{nicht} und Attribute ist ein fall von DiseaseOrSyndrome %n{nicht} und Attribute ist ein attribut von Object nicht, dann es gibt Object und Object um Object ist ein fall von Lung %n{nicht} und Object ist ein fall von Lung %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (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) (connectedBodyPart ?S ?R))))	Anatomy.kif 561-574	Wenn BodyPart ist ein fall von CervicalVertebraBone %n{nicht} und BodyPart ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt BodyPart um BodyPart ist ein fall von CervicalVertebraBone %n{nicht} und BodyPart ist gleich BodyPart nicht und BodyPart ist ein teil von Object %n{nicht} und connectedBodyPart BodyPart and BodyPart
(=> (and (instance ?R FalseRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (not (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connectedBodyPart ?S ?R)))))	Anatomy.kif 505-517	Wenn BodyPart ist ein fall von FalseRibBone %n{nicht} und BodyPart ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt nicht BodyPart um BodyPart ist ein fall von Sternum %n{nicht} und BodyPart ist ein teil von Object %n{nicht} und connectedBodyPart BodyPart and ** BodyPart
(=> (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) (connectedBodyPart ?S ?R))))	Anatomy.kif 601-614	Wenn BodyPart ist ein fall von LumbarVertebraBone %n{nicht} und BodyPart ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt BodyPart um BodyPart ist ein fall von LumbarVertebraBone %n{nicht} und BodyPart ist gleich BodyPart nicht und BodyPart ist ein teil von Object %n{nicht} und connectedBodyPart BodyPart and BodyPart
(=> (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) (connectedBodyPart ?S ?R))))	Anatomy.kif 669-682	Wenn BodyPart ist ein fall von ThoracicVertebraBone %n{nicht} und BodyPart ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt BodyPart um BodyPart ist ein fall von ThoracicVertebraBone %n{nicht} und BodyPart ist gleich BodyPart nicht und BodyPart ist ein teil von Object %n{nicht} und connectedBodyPart BodyPart and BodyPart
(=> (and (instance ?R TrueRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connectedBodyPart ?S ?R))))	Anatomy.kif 492-503	Wenn BodyPart ist ein fall von TrueRibBone %n{nicht} und BodyPart ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt BodyPart um BodyPart ist ein fall von Sternum %n{nicht} und BodyPart ist ein teil von Object %n{nicht} und connectedBodyPart BodyPart and ** BodyPart
(=> (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 809-822	Wenn Object ist ein fall von VocalCords %n{nicht} und Attribute ist ein fall von DiseaseOrSyndrome %n{nicht} und Attribute ist ein attribut von Object nicht, dann es gibt Object und Object um Object ist ein fall von VocalFold %n{nicht} und Object ist ein fall von VocalFold %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (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 5933-5944	Wenn typicalBloodVolume Mammal and RealNumber UnitOfMeasure(s) und MammalI ist ein fall von Mammal %n{nicht} und DiseaseOrSyndrome ist ein attribut von entity nicht und bloodVolume entity and RealNumber2 UnitOfMeasure(s) haelt waehrend TimePosition %n{nicht}, dann approximateValue RealNumber2 and ** RealNumber

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 3517-3529	Wenn Process ist ein fall von Epidemic %n{nicht} und involvedInEvent Process and AutonomousAgent, dann Attribute ist ein fall von DiseaseOrSyndrome %n{nicht} und Attribute ist ein attribut von AutonomousAgent %n{nicht} oder es gibt Process um Process ist ein fall von PathologicProcess %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und Process ist ein subProzess von 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 4195-4210	Wenn Process ist ein fall von Misdiagnosing %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Process umfasst einen hinweis auf Entity und Entity ist ein fall von Human %n{nicht}, dann es gibt CognitiveAgentIS um containsFormula Process and CognitiveAgentIS ist ein attribut von Entity %n{nicht} und CognitiveAgentIS ist ein fall von DiseaseOrSyndrome %n{nicht} und CognitiveAgent glaubt %n{nicht}, dass CognitiveAgentIS ist ein attribut von Entity %n{nicht} und truth CognitiveAgentIS ist ein attribut von ** Entity %n{nicht} and False
(=> (and (instance ?PATH PathologicProcess) (experiencer ?PATH ?ORG)) (exists (?PART ?DISEASE) (and (part ?PART ?ORG) (instance ?DISEASE DiseaseOrSyndrome) (attribute ?PART ?DISEASE))))	Merge.kif 10394-10402	Wenn Process ist ein fall von PathologicProcess %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Object und Attribute um Object ist ein teil von AutonomousAgent %n{nicht} und Attribute ist ein fall von DiseaseOrSyndrome %n{nicht} und Attribute ist ein attribut von Object %n{nicht}
(=> (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 6252-6265	Wenn Process ist ein fall von RecoveringFromIllness %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Physical um Physical ist ein fall von DiseaseOrSyndrome %n{nicht} und Physical ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von Physical %n{nicht} und Physical ist ein attribut von AutonomousAgent nicht haelt waehrend das ende von die zeit des Bestehens von Physical %n{nicht}
(=> (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 5932-5945	Wenn Process ist ein fall von TakingIll %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Entity um Entity ist ein fall von DiseaseOrSyndrome %n{nicht} und Entity ist ein attribut von AutonomousAgent nicht haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und Entity ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend das ende von die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?W SickLeave) (agent ?W ?PERSON)) (exists (?S) (and (instance ?S DiseaseOrSyndrome) (refers ?W ?S))))	Mid-level-ontology.kif 20459-20466	Wenn Process ist ein fall von SickLeave %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Entity um Entity ist ein fall von DiseaseOrSyndrome %n{nicht} und Process umfasst einen hinweis auf Entity
(=> (attribute ?X Healthy) (not (exists (?Y) (and (instance ?Y DiseaseOrSyndrome) (attribute ?X ?Y)))))	Mid-level-ontology.kif 30284-30290	Wenn Healthy ist ein attribut von Object %n{nicht}, dann es gibt nicht Attribute um Attribute ist ein fall von DiseaseOrSyndrome %n{nicht} und Attribute ist ein attribut von ** Object %n{nicht}
(=> (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 1906-1921	Wenn Physical ist ein fall von Ambulance %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von entity %n{nicht} oder es gibt entity und entity um entity ist ein fall von Injuring %n{nicht} und entity erfaehrt entity %n{nicht} und entity geschieht vor entity %n{nicht} und entity ist ein fall von Transportation %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein patient von ** entity %n{nicht} %n{nicht}

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: