TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2908-2908
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10249-10250
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1657-1657
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10246-10246	Ingerir e' uma sub-classe de Processo Organico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10247-10247	Ingerir e' uma sub-classe de Transferencia

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 282-282	biochemicalAgentDelivery BacillusAnthracis and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1850-1850	biochemicalAgentDelivery BacillusCereus and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 478-478	biochemicalAgentDelivery BlisterAgent and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 326-326	biochemicalAgentDelivery BotulinumToxin and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 375-375	biochemicalAgentDelivery BurkholderiaPseudomallei and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 342-342	biochemicalAgentDelivery ClostridiumPerfringens and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1251-1251	biochemicalAgentDelivery CoxiellaBurnetii and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 350-350	biochemicalAgentDelivery EpsilonToxin and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1720-1720	biochemicalAgentDelivery EscherichiaColi0157H7 and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1782-1782	biochemicalAgentDelivery HepatitisAVirus and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1858-1858	biochemicalAgentDelivery LassaVirus and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1818-1818	biochemicalAgentDelivery Rotavirus and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1353-1353	biochemicalAgentDelivery SalmonellaTyphi and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1456-1456	biochemicalAgentDelivery Saxitoxin and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1333-1333	biochemicalAgentDelivery ShigellaDysenteriae and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1441-1441	biochemicalAgentDelivery StaphylococcalEnterotoxinB and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1493-1493	biochemicalAgentDelivery VibrioCholera and Ingerir
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10271-10271	Beber e' uma sub-classe de Ingerir
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10260-10260	Comer e' uma sub-classe de Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1068-1068	IVTherapy e' uma sub-classe de Ingerir
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1079-1079
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1369-1369
No TPTP formula. May not be expressible in strict first order.	french_format.kif 757-757
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 289-289

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.	Medicine.kif 4765-4765	diseaseMedicine ADHD, Adderall and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4951-4951	diseaseMedicine Abatacept, RheumatoidArthritis and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5634-5634	diseaseMedicine AllergicRhinitis, Chlorpheniramine and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5255-5255	diseaseMedicine AllergicRhinitis, Levocetirizine and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1140-1140	diseaseMedicine Anthrax, Ciprofloxacin and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1139-1139	diseaseMedicine Anthrax, Doxycycline and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3882-3882	diseaseMedicine Anxiety, Benzodiazepine and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3979-3979	diseaseMedicine AttentionDeficitHyperactivityDisorder, Lisdexamfetamine and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3599-3599	diseaseMedicine BacterialPneumonia, Clarithromycin and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2469-2469	diseaseMedicine Beriberi, VitaminB1 and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 359-359	diseaseMedicine BurkholderiaMallei, Ciprofloxacin and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3932-3932	diseaseMedicine ChronicObstructivePulmonaryDisease, Roflumilast and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4736-4736	diseaseMedicine CrohnsDisease, MycophenolicAcid and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3915-3915	diseaseMedicine CrohnsDisease, Sulfasalazine and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4051-4051	diseaseMedicine Depression, Escitalopram and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4679-4679	diseaseMedicine HeartAttack, BetaBlocker and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4680-4680	diseaseMedicine HeartPalpitations, BetaBlocker and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4681-4681	diseaseMedicine HighBloodPressure, BetaBlocker and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5254-5254	diseaseMedicine Hives, Levocetirizine and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3883-3883	diseaseMedicine Insomnia, Benzodiazepine and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 273-273	diseaseMedicine LouseBorneTyphus, OralAntibiotic and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4624-4624	diseaseMedicine Lupus, Benelysta and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5617-5617	diseaseMedicine Lupus, Hydroxychloroquine and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4737-4737	diseaseMedicine Lupus, MycophenolicAcid and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3597-3597	diseaseMedicine LymeDisease, Clarithromycin and Ingerir

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9839-9861	Objeto e' uma instancia de Antacid Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente antes de tempo de existencia de Movimento Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente apos tempo de existencia de Movimento phMeasure Objeto and Numero Real phMeasure Objeto and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9900-9922	Objeto e' uma instancia de ProtonPumpInhibitor Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente antes de tempo de existencia de Movimento Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente apos tempo de existencia de Movimento phMeasure Objeto and Numero Real phMeasure Objeto and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10252-10258	Processo e' uma instancia de Ingerir Objeto e' um recurso para Processo Objeto e' uma instancia de FoodForFn Organismo Objeto e' uma instancia de Medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10055-10078	Objeto e' uma instancia de Antidiuretic Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal e' uma instancia de Urination Intervalo Temporal e' igual a Intervalo Temporal Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal acontence antes de Movimento Movimento acontence antes de Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfVolume a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) o argumento Numero Real e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10025-10046	Objeto e' uma instancia de Diuretic Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal acontence antes de Movimento Movimento acontence antes de Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfVolume a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) o argumento Numero Real e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1563-1575	Transferencia e' uma instancia de Ingerir AutonomousAgent experimenta Transferencia objectTransferred Transferencia and Objeto Objeto e' uma instancia de ObjetoC pathologicSideEffect ObjetoC and ObjetoIS o argumento Entidade Entidade e' uma instancia de ObjetoIS Entidade experimenta AutonomousAgent tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1545-1554	Transferencia e' uma instancia de Ingerir AutonomousAgent experimenta Transferencia objectTransferred Transferencia and Objeto Objeto e' uma instancia de ObjetoC sideEffect ObjetoC and ObjetoIS o argumento ObjetoIS e' um atributo de AutonomousAgent tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9774-9795	Transferencia e' uma instancia de Ingerir AutonomousAgent experimenta Transferencia objectTransferred Transferencia and Objeto Objeto e' uma instancia de MoodStabilizer Processo e' uma instancia de ProcessoC involvedInEvent Processo and AutonomousAgent ProcessoS e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo ProcessoS e' uma instancia de Estado Emocional Processo2 e' uma instancia de ProcessoC involvedInEvent Processo2 and AutonomousAgent tempo de existencia de Processo2 acontence antes de tempo de existencia de Transferencia o argumento ProcessoS e' um atributo de AutonomousAgent vale durante Processo2 tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 88-99	Transferencia e' uma instancia de Ingerir objectTransferred Transferencia and Objeto Objeto e' uma instancia de Hallucinogen Transferencia termina em Entidade o argumento ObjetoAL ObjetoAL e' uma instancia de Hallucination Entidade experimenta ObjetoAL tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8600-8610	Objeto e' uma instancia de Poison Movimento e' uma instancia de Ingerir moves Movimento and Objeto AutonomousAgent experimenta Movimento Processo Processo e' uma instancia de Causar Dano AutonomousAgent experimenta Processo Movimento causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8624-8635	Objeto e' uma instancia de Poison Movimento e' uma instancia de Ingerir moves Movimento and Objeto AutonomousAgent experimenta Movimento o argumento Blind e' um atributo de AutonomousAgent vale durante apos tempo de existencia de Movimento tem a forca modal de Possibility

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	Numero Real McgPerKg(s) e' igual a PerFn Medida de Massa and Medida de Massa Medida de Massa e' igual a Numero Real um milhonesimo de Gram(s) Medida de Massa e' igual a Numero Real 1 mil Grams(s) Processo Objeto auto-conectado and Objeto auto-conectado Processo e' uma instancia de Ingerir Objeto auto-conectado e' uma instancia de Substancia Biologica Ativa Objeto auto-conectado e' uma instancia de Organismo Objeto auto-conectado e' um patient de Processo Processo e' um agente de Objeto auto-conectado weight Objeto auto-conectado and Medida de Massa weight Objeto auto-conectado and Medida de Massa
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10289-10297	Processo e' uma instancia de Digesting Processo e' um agente de AutonomousAgent Processo Processo e' uma instancia de Ingerir Processo e' um agente de AutonomousAgent tempo de existencia de Processo engloba tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 2548-2562	Objeto e' uma instancia de Organismo Objeto e' uma instancia de Egg Embryonic e' um atributo de Objeto Objeto e' uma &parte de Objeto Fisico Fisico e' uma instancia de EggYolk Fisico tem por fim Entidade Entidade e' uma instancia de Ingerir Entidade e' um agente de Objeto Fisico e' um recurso para Entidade
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1288-1290	diseaseMedicine Doenca ou Sindrome, OralAntibiotic and Processo Processo e' uma sub-classe de Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3317-3332	Fisico e' uma instancia de Antiseizure Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Ingerir objectTransferred Entidade and Fisico Entidade e' um agente de Entidade tempo de existencia de Entidade acontence antes de Entidade Entidade Entidade e' uma instancia de Seizure Entidade experimenta Entidade vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9697-9709	Fisico e' uma instancia de Antidepressant Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Ingerir objectTransferred Entidade and Fisico Fisico e' um agente de Entidade Depression e' um atributo de Entidade vale durante apos tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9717-9729	Fisico e' uma instancia de Antipsychotic Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Ingerir objectTransferred Entidade and Fisico Fisico e' um agente de Entidade Psychosis e' um atributo de Entidade vale durante apos tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4891-4911	Fisico e' uma instancia de Ivabradine Fisico tem por fim Entidade FisicoN and Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de PainFn Chest Entidade experimenta Entidade FisicoN e' uma instancia de Ingerir FisicoN e' um agente de Entidade tempo de existencia de Entidade acontence antes de tempo de existencia de FisicoN Entidade2 Entidade2 e' uma instancia de PainFn Chest Entidade experimenta Entidade2 tempo de existencia de FisicoN acontence antes de tempo de existencia de Entidade2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12421-12441	Fisico e' uma instancia de AntiInflammatory Fisico tem por fim Entidade Entidade and EntidadeN Entidade e' uma instancia de Inflammation Entidade experimenta Entidade EntidadeN e' uma instancia de Ingerir o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de EntidadeN Entidade2 Entidade2 e' uma instancia de Inflammation Entidade experimenta Entidade2 vale durante apos tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9255-9263	Fisico e' uma instancia de Pill Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Animal Entidade e' uma instancia de Ingerir Entidade experimenta Entidade objectTransferred Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6610-6615	Processo e' uma instancia de Swallowing Processo Processo e' uma instancia de Ingerir Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2252-2258	Fisico e' uma instancia de Tableware Fisico tem por fim Entidade Entidade e' uma instancia de Ingerir Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1050-1066	Fisico e' uma instancia de TranexamicAcid Fisico tem por fim Entidade Entidade e' uma instancia de Humano Entidade Entidade e' uma instancia de Ingerir objectTransferred Entidade and Fisico Entidade termina em Entidade diminui a probabilidade de Entidade Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Bleeding Entidade tem como origem 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: