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 18212-18215
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18211-18211	Maladie ou syndrome est une sous-classe de attribut biologique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 138-138	Anemia est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3395-3395	Asthma est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11035-11035	Bedridden est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2468-2468	Beriberi est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6122-6122	BoneFracture est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5175-5175	BrainDead est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 412-412	Bruise est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6292-6292	Cancer est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5946-5946	CatastrophicBloodLoss est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1479-1479	ChronicFatigueSyndrome est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5956-5956	ChronicObstructivePulmonaryDisease est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5204-5204	Coma est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1383-1383	Diabetes est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5951-5951	Diarrhea est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16406-16406	Dizzy est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4361-4361	Eczema est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6156-6156	Fever est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1105-1105	Gastroenteritis est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6171-6171	Goiter est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5718-5718	HeartDisease est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10463-10463	HighBloodPressure est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	People.kif 475-475	HivAids est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4930-4930	Hyperferritinemia est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5320-5320	Hypersalivation est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 677-677	Hyperthermia est une instance de maladie ou 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	Le nombre 2 argument de biochemicalAgentSyndrome est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1933-1933	Le nombre 2 argument de diseaseCandidate est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1530-1530	Le nombre 1 argument de diseaseIncubation est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 932-932	Le nombre 1 argument de diseaseMedicine est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 885-885	Le nombre 1 argument de diseaseMortality est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 870-870	Le nombre 1 argument de diseaseSymptom est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 871-871	Le nombre 2 argument de diseaseSymptom est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5818-5818	Le nombre 1 argument de diseaseTreatment est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9641-9641	Le nombre 2 argument de medicine est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10409-10409	Le nombre 1 argument de pathologicSymptom est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1540-1540	Le nombre 2 argument de sideEffect est une instance de maladie ou syndrome

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 32-46	connectedBodyPartTypes partie du corps, partie du corps and organisme organismeC est une instance de organisme maladie ou syndrome est un attribut de objet objet objet objet est une instance de partie du corps objet est une instance de partie du corps objet est objet objet est une partie de organismeC objet est une partie de organismeC objet est connect� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2162-2175	AutonomousAgent est une instance de animal attribut est une instance de maladie ou syndrome attribut est un attribut de AutonomousAgent transf�re objet transf�re est une instance de processus biologique transf�re est une instance de supprimer transf�re a pour origine AutonomousAgent objet est une instance de Sewage transf�re est un agent de AutonomousAgent objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12709-12722	Objet est une instance de primate attribut est une instance de maladie ou syndrome attribut est un attribut de objet objet objet objet est une instance de Foot objet est une instance de Foot objet est objet objet est une partie de objet objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12682-12695	Objet est une instance de primate attribut est une instance de maladie ou syndrome attribut est un attribut de objet objet objet objet est une instance de Leg objet est une instance de Leg objet est objet objet est une partie de objet objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11198-11211	Objet est une instance de primate attribut est une instance de maladie ou syndrome attribut est un attribut de objet objet objet objet est une instance de Lung objet est une instance de Lung objet est objet objet est une partie de objet objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 561-574	Partie du corps est une instance de CervicalVertebraBone partie du corps est une partie de objet objet est une instance de humain maladie ou syndrome est un attribut de objet partie du corps partie du corps est une instance de CervicalVertebraBone partie du corps est partie du corps partie du corps est une partie de objet connectedBodyPart partie du corps and partie du corps
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 505-517	Partie du corps est une instance de FalseRibBone partie du corps est une partie de objet objet est une instance de humain maladie ou syndrome est un attribut de objet partie du corps partie du corps est une instance de Sternum partie du corps est une partie de objet connectedBodyPart partie du corps and partie du corps
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 601-614	Partie du corps est une instance de LumbarVertebraBone partie du corps est une partie de objet objet est une instance de humain maladie ou syndrome est un attribut de objet partie du corps partie du corps est une instance de LumbarVertebraBone partie du corps est partie du corps partie du corps est une partie de objet connectedBodyPart partie du corps and partie du corps
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 669-682	Partie du corps est une instance de ThoracicVertebraBone partie du corps est une partie de objet objet est une instance de humain maladie ou syndrome est un attribut de objet partie du corps partie du corps est une instance de ThoracicVertebraBone partie du corps est partie du corps partie du corps est une partie de objet connectedBodyPart partie du corps and partie du corps
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 492-503	Partie du corps est une instance de TrueRibBone partie du corps est une partie de objet objet est une instance de humain maladie ou syndrome est un attribut de objet partie du corps partie du corps est une instance de Sternum partie du corps est une partie de objet connectedBodyPart partie du corps and partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 809-822	Objet est une instance de VocalCords attribut est une instance de maladie ou syndrome attribut est un attribut de objet objet objet objet est une instance de VocalFold objet est une instance de VocalFold objet est objet objet est une partie de objet objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5933-5944	typicalBloodVolume mammif�re and nombre r�el unit� de mesure(s) mammif�reI est une instance de mammif�re maladie ou syndrome est un attribut de entit� bloodVolume entit� and nombre r�el2 unit� de mesure(s) pendant position temporel approximateValue nombre r�el2 and nombre r�el

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3517-3529	Processus est une instance de Epidemic involvedInEvent processus and AutonomousAgent attribut est une instance de maladie ou syndrome attribut est un attribut de AutonomousAgent processus processus est une instance de processus pathologique AutonomousAgent exp�rimente processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4195-4210	Processus est une instance de Misdiagnosing processus est un agent de agent cognitif processus inclut une r�f�rence � entit� entit� est une instance de humain agent cognitifIS containsFormula processus and agent cognitifIS est un attribut de entit� agent cognitifIS est une instance de maladie ou syndrome agent cognitif croit agent cognitifIS est un attribut de entit� truth agent cognitifIS est un attribut de entit� and False
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10394-10402	Processus est une instance de processus pathologique AutonomousAgent exp�rimente processus objet attribut objet est une partie de AutonomousAgent attribut est une instance de maladie ou syndrome attribut est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6252-6265	Processus est une instance de RecoveringFromIllness AutonomousAgent exp�rimente processus physique physique est une instance de maladie ou syndrome physique est un attribut de AutonomousAgent pendant le d�but de temps d'existence de physique physique est un attribut de AutonomousAgent pendant la fin de temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5932-5945	Processus est une instance de TakingIll AutonomousAgent exp�rimente processus entit� entit� est une instance de maladie ou syndrome entit� est un attribut de AutonomousAgent pendant le d�but de temps d'existence de processus entit� est un attribut de AutonomousAgent pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20459-20466	Processus est une instance de SickLeave processus est un agent de AutonomousAgent entit� entit� est une instance de maladie ou syndrome processus inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30284-30290	Healthy est un attribut de objet attribut attribut est une instance de maladie ou syndrome attribut est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1906-1921	Physique est une instance de Ambulance physique a pour but entit� entit� entit� est une instance de humain maladie ou syndrome est un attribut de entit� entit� entit� entit� est une instance de blesser entit� exp�rimente entit� entit� se produit avant entit� entit� est une instance de transporter physique est un instrument pour entit� entit� est un patient de entit�

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: