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 18212-18215
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18211-18211	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 11035-11035	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 6292-6292	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 5956-5956	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 5951-5951	Diarrhea e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16406-16406	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 6156-6156	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 6171-6171	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 10463-10463	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 9641-9641	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 10409-10409	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 2162-2175	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 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 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 12682-12695	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 11198-11211	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	Parte do Corpo e' uma instancia de CervicalVertebraBone Parte do Corpo e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto Parte do Corpo Parte do Corpo e' uma instancia de CervicalVertebraBone Parte do Corpo e' igual a Parte do Corpo Parte do Corpo e' uma &parte de Objeto connectedBodyPart Parte do Corpo and Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 505-517	Parte do Corpo e' uma instancia de FalseRibBone Parte do Corpo e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto Parte do Corpo Parte do Corpo e' uma instancia de Sternum Parte do Corpo e' uma &parte de Objeto connectedBodyPart Parte do Corpo and Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 601-614	Parte do Corpo e' uma instancia de LumbarVertebraBone Parte do Corpo e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto Parte do Corpo Parte do Corpo e' uma instancia de LumbarVertebraBone Parte do Corpo e' igual a Parte do Corpo Parte do Corpo e' uma &parte de Objeto connectedBodyPart Parte do Corpo and Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 669-682	Parte do Corpo e' uma instancia de ThoracicVertebraBone Parte do Corpo e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto Parte do Corpo Parte do Corpo e' uma instancia de ThoracicVertebraBone Parte do Corpo e' igual a Parte do Corpo Parte do Corpo e' uma &parte de Objeto connectedBodyPart Parte do Corpo and Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 492-503	Parte do Corpo e' uma instancia de TrueRibBone Parte do Corpo e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto Parte do Corpo Parte do Corpo e' uma instancia de Sternum Parte do Corpo e' uma &parte de Objeto connectedBodyPart Parte do Corpo and Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 809-822	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 10394-10402	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 6252-6265	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 5932-5945	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 20459-20466	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 30284-30290	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 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: