TreeView 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	Disease or syndrome is a subclass of biological attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 138-138	Anaemia is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3395-3395	Asthma is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11034-11034	Bed ridden is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2468-2468	Beriberi is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6122-6122	Bone fracture is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5175-5175	Brain dead is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 412-412	Hematoma is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6291-6291	Cancer is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5946-5946	Catastrophic blood loss is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1479-1479	ME/CFS is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5955-5955	COPD is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5204-5204	Coma is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1383-1383	Diabetes mellitus is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5950-5950	Diarrhea is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16405-16405	Dizzy is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4361-4361	Atopic dermatitis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6155-6155	Fever is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1105-1105	Gastroenteritis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6170-6170	Goiter is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5718-5718	Cardiovascular disease is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10462-10462	Hypertension is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	People.kif 475-475	Hiv aids is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4930-4930	Hyperferritinemia is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5320-5320	Hypersalivation is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 677-677	Hyperthermia is an instance 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

No TPTP formula. May not be expressible in strict first order.	WMD.kif 762-762	The number 2 argument of biochemical agent syndrome is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1933-1933	The number 2 argument of diseaseCandidate is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1530-1530	The number 1 argument of disease incubation is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 932-932	The number 1 argument of disease treatment is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 885-885	The number 1 argument of disease mortality is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 870-870	The number 1 argument of disease symptom is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 871-871	The number 2 argument of disease symptom is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5818-5818	The number 1 argument of diseaseTreatment is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9640-9640	The number 2 argument of medicine is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10431-10431	The number 1 argument of pathologic symptom is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1540-1540	The number 2 argument of side effect is an instance of disease or syndrome

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 32-46	If connectedBodyPartTypes 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2162-2175	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12708-12721	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12681-12694	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11197-11210	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
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 561-574	If a kind of body part is an instance of cervical vertebra bone and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of cervical vertebra bone and the other kind of body part is not equal to the kind of body part and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 505-517	If a kind of body part is an instance of costae spuriae and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there doesn't exist another kind of body part such that another kind of body part is an instance of sternum and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 601-614	If a kind of body part is an instance of lumbar vertebra bone and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of lumbar vertebra bone and the other kind of body part is not equal to the kind of body part and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 669-682	If a kind of body part is an instance of thoracic vertebra bone and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of thoracic vertebra bone and the other kind of body part is not equal to the kind of body part and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 492-503	If a kind of body part is an instance of costae verae and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of sternum and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 809-822	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5933-5944	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

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3517-3529	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4195-4210	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10416-10424	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6251-6264	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5931-5944	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20458-20465	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30272-30278	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1906-1921	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 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: