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 18291-18294
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18290-18290	Doenca ou Sindrome e' uma sub-classe de Atributo Biologico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 138-138	Anemia e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3395-3395	Asthma e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11062-11062	Bedridden e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2468-2468	Beriberi e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6122-6122	BoneFracture e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5175-5175	BrainDead e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 412-412	Bruise e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6286-6286	Cancer e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5946-5946	CatastrophicBloodLoss e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1479-1479	ChronicFatigueSyndrome e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5950-5950	ChronicObstructivePulmonaryDisease e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5204-5204	Coma e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1383-1383	Diabetes e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5945-5945	Diarrhea e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16433-16433	Dizzy e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4361-4361	Eczema e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6150-6150	Fever e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1105-1105	Gastroenteritis e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6165-6165	Goiter e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5718-5718	HeartDisease e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10490-10490	HighBloodPressure e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	People.kif 475-475	HivAids e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4930-4930	Hyperferritinemia e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5320-5320	Hypersalivation e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 677-677	Hyperthermia e' uma instancia de Doenca ou Sindrome

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	O argumento numero 2 de biochemicalAgentSyndrome e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1933-1933	O argumento numero 2 de diseaseCandidate e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1530-1530	O argumento numero 1 de diseaseIncubation e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 932-932	O argumento numero 1 de diseaseMedicine e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 885-885	O argumento numero 1 de diseaseMortality e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 870-870	O argumento numero 1 de diseaseSymptom e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 871-871	O argumento numero 2 de diseaseSymptom e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5818-5818	O argumento numero 1 de diseaseTreatment e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9668-9668	O argumento numero 2 de medicine e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10445-10445	O argumento numero 1 de pathologicSymptom e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1540-1540	O argumento numero 2 de sideEffect e' uma instancia de Doenca ou Sindrome

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 32-46	connectedBodyPartTypes Parte do Corpo, Parte do Corpo and Organismo OrganismoC e' uma instancia de Organismo Doenca ou Sindrome e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Parte do Corpo Objeto e' uma instancia de Parte do Corpo Objeto e' igual a Objeto Objeto e' uma &parte de OrganismoC Objeto e' uma &parte de OrganismoC Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2155-2168	AutonomousAgent e' uma instancia de Animal Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de AutonomousAgent Transferencia Objeto Transferencia e' uma instancia de Processo Biologico Transferencia e' uma instancia de Remover Transferencia tem como origem AutonomousAgent Objeto e' uma instancia de Sewage Transferencia e' um agente de AutonomousAgent objectTransferred Transferencia and Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12736-12749	Objeto e' uma instancia de Primata Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Foot Objeto e' uma instancia de Foot Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12709-12722	Objeto e' uma instancia de Primata Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Leg Objeto e' uma instancia de Leg Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11225-11238	Objeto e' uma instancia de Primata Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Lung Objeto e' uma instancia de Lung Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 561-574	Objeto e' uma instancia de CervicalVertebraBone Objeto e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto Objeto Objeto e' uma instancia de CervicalVertebraBone Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 505-517	Objeto e' uma instancia de FalseRibBone Objeto e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto Objeto Objeto e' uma instancia de Sternum Objeto e' uma &parte de Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 601-614	Objeto e' uma instancia de LumbarVertebraBone Objeto e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto Objeto Objeto e' uma instancia de LumbarVertebraBone Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 669-682	Objeto e' uma instancia de ThoracicVertebraBone Objeto e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto Objeto Objeto e' uma instancia de ThoracicVertebraBone Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 492-503	Objeto e' uma instancia de TrueRibBone Objeto e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto Objeto Objeto e' uma instancia de Sternum Objeto e' uma &parte de Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 802-815	Objeto e' uma instancia de VocalCords Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de VocalFold Objeto e' uma instancia de VocalFold Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5933-5944	typicalBloodVolume Mamifero and Numero Real Unidade de Medida(s) MamiferoI e' uma instancia de Mamifero Doenca ou Sindrome e' um atributo de Entidade bloodVolume Entidade and Numero Real2 Unidade de Medida(s) vale durante Posicao Temporal approximateValue Numero Real2 and Numero Real

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3517-3529	Processo e' uma instancia de Epidemic involvedInEvent Processo and AutonomousAgent Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de AutonomousAgent Processo Processo e' uma instancia de Processo Patologico AutonomousAgent experimenta Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4195-4210	Processo e' uma instancia de Misdiagnosing Processo e' um agente de Agente Cognitivo Processo inclui uma referencia a Entidade Entidade e' uma instancia de Humano Agente CognitivoIS containsFormula Processo and Agente CognitivoIS e' um atributo de Entidade Agente CognitivoIS e' uma instancia de Doenca ou Sindrome Agente Cognitivo acredita que Agente CognitivoIS e' um atributo de Entidade truth Agente CognitivoIS e' um atributo de Entidade and False
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10430-10438	Processo e' uma instancia de Processo Patologico AutonomousAgent experimenta Processo Objeto Atributo Objeto e' uma &parte de AutonomousAgent Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6246-6259	Processo e' uma instancia de RecoveringFromIllness AutonomousAgent experimenta Processo Fisico Fisico e' uma instancia de Doenca ou Sindrome Fisico e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Fisico Fisico e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5926-5939	Processo e' uma instancia de TakingIll AutonomousAgent experimenta Processo Entidade Entidade e' uma instancia de Doenca ou Sindrome Entidade e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20486-20493	Processo e' uma instancia de SickLeave Processo e' um agente de AutonomousAgent Entidade Entidade e' uma instancia de Doenca ou Sindrome Processo inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30308-30314	Healthy e' um atributo de Objeto Atributo Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1906-1921	Fisico e' uma instancia de Ambulance Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Entidade Entidade Entidade Entidade e' uma instancia de Ferir Entidade experimenta Entidade Entidade comeca antes de Entidade Entidade e' uma instancia de Transporte Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade

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: