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	Ing�rer est une sous-classe de fonction physiologique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10247-10247	Ing�rer est une sous-classe de transf�re

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 282-282	biochemicalAgentDelivery BacillusAnthracis and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1850-1850	biochemicalAgentDelivery BacillusCereus and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 478-478	biochemicalAgentDelivery BlisterAgent and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 326-326	biochemicalAgentDelivery BotulinumToxin and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 375-375	biochemicalAgentDelivery BurkholderiaPseudomallei and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 342-342	biochemicalAgentDelivery ClostridiumPerfringens and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1251-1251	biochemicalAgentDelivery CoxiellaBurnetii and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 350-350	biochemicalAgentDelivery EpsilonToxin and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1720-1720	biochemicalAgentDelivery EscherichiaColi0157H7 and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1782-1782	biochemicalAgentDelivery HepatitisAVirus and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1858-1858	biochemicalAgentDelivery LassaVirus and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1818-1818	biochemicalAgentDelivery Rotavirus and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1353-1353	biochemicalAgentDelivery SalmonellaTyphi and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1456-1456	biochemicalAgentDelivery Saxitoxin and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1333-1333	biochemicalAgentDelivery ShigellaDysenteriae and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1441-1441	biochemicalAgentDelivery StaphylococcalEnterotoxinB and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1493-1493	biochemicalAgentDelivery VibrioCholera and ing�rer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10271-10271	Boire est une sous-classe de ing�rer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10260-10260	Manger est une sous-classe de ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1068-1068	IVTherapy est une sous-classe de ing�rer
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 ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4951-4951	diseaseMedicine Abatacept, RheumatoidArthritis and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5634-5634	diseaseMedicine AllergicRhinitis, Chlorpheniramine and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5255-5255	diseaseMedicine AllergicRhinitis, Levocetirizine and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1140-1140	diseaseMedicine Anthrax, Ciprofloxacin and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1139-1139	diseaseMedicine Anthrax, Doxycycline and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3882-3882	diseaseMedicine anxiété, Benzodiazepine and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3979-3979	diseaseMedicine AttentionDeficitHyperactivityDisorder, Lisdexamfetamine and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3599-3599	diseaseMedicine BacterialPneumonia, Clarithromycin and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2469-2469	diseaseMedicine Beriberi, VitaminB1 and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 359-359	diseaseMedicine BurkholderiaMallei, Ciprofloxacin and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3932-3932	diseaseMedicine ChronicObstructivePulmonaryDisease, Roflumilast and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4736-4736	diseaseMedicine CrohnsDisease, MycophenolicAcid and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3915-3915	diseaseMedicine CrohnsDisease, Sulfasalazine and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4051-4051	diseaseMedicine Depression, Escitalopram and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4679-4679	diseaseMedicine HeartAttack, BetaBlocker and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4680-4680	diseaseMedicine HeartPalpitations, BetaBlocker and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4681-4681	diseaseMedicine HighBloodPressure, BetaBlocker and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5254-5254	diseaseMedicine Hives, Levocetirizine and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3883-3883	diseaseMedicine Insomnia, Benzodiazepine and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 273-273	diseaseMedicine LouseBorneTyphus, OralAntibiotic and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4624-4624	diseaseMedicine Lupus, Benelysta and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5617-5617	diseaseMedicine Lupus, Hydroxychloroquine and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4737-4737	diseaseMedicine Lupus, MycophenolicAcid and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3597-3597	diseaseMedicine LymeDisease, Clarithromycin and ing�rer

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	Objet est une instance de Antacid d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet objet est une instance de Stomach objet est une partie de AutonomousAgent objet contient objet objet est une instance de Fluid pendant immediatement avant temps d'existence de d�palcement objet contient objet objet est une instance de Fluid pendant immediatement apr�s temps d'existence de d�palcement phMeasure objet and nombre r�el phMeasure objet and nombre r�el nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9900-9922	Objet est une instance de ProtonPumpInhibitor d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet objet est une instance de Stomach objet est une partie de AutonomousAgent objet contient objet objet est une instance de Fluid pendant immediatement avant temps d'existence de d�palcement objet contient objet objet est une instance de Fluid pendant immediatement apr�s temps d'existence de d�palcement phMeasure objet and nombre r�el phMeasure objet and nombre r�el nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10252-10258	Processus est une instance de ing�rer objet est une resource pour processus objet est une instance de FoodForFn organisme objet est une instance de Medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10055-10078	Objet est une instance de Antidiuretic d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet interval temporel est une instance de Urination entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel est une instance de Urination interval temporel est interval temporel entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel arrive plus t�t que d�palcement d�palcement arrive plus t�t que interval temporel unit� de mesure est une instance de UnitOfVolume la mesure de interval temporel est nombre r�el unit� de mesure(s) la mesure de interval temporel est nombre r�el unit� de mesure(s) l'argument nombre r�el est plus grand que nombre r�el a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10025-10046	Objet est une instance de Diuretic d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet interval temporel est une instance de Urination entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel est une instance de Urination entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel arrive plus t�t que d�palcement d�palcement arrive plus t�t que interval temporel unit� de mesure est une instance de UnitOfVolume la mesure de interval temporel est nombre r�el unit� de mesure(s) la mesure de interval temporel est nombre r�el unit� de mesure(s) l'argument nombre r�el est plus grand que nombre r�el a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1563-1575	Transf�re est une instance de ing�rer AutonomousAgent exp�rimente transf�re objectTransferred transf�re and objet objet est une instance de objetC pathologicSideEffect objetC and objetIS l'argument entit� entit� est une instance de objetIS entit� exp�rimente AutonomousAgent a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1545-1554	Transf�re est une instance de ing�rer AutonomousAgent exp�rimente transf�re objectTransferred transf�re and objet objet est une instance de objetC sideEffect objetC and objetIS l'argument objetIS est un attribut de AutonomousAgent a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9774-9795	Transf�re est une instance de ing�rer AutonomousAgent exp�rimente transf�re objectTransferred transf�re and objet objet est une instance de MoodStabilizer processus est une instance de processusC involvedInEvent processus and AutonomousAgent processusS est un attribut de AutonomousAgent pendant temps d'existence de processus processusS est une instance de �tat �motionnel processus2 est une instance de processusC involvedInEvent processus2 and AutonomousAgent temps d'existence de processus2 arrive plus t�t que temps d'existence de transf�re l'argument processusS est un attribut de AutonomousAgent pendant processus2 a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 88-99	Transf�re est une instance de ing�rer objectTransferred transf�re and objet objet est une instance de Hallucinogen transf�re aboutit � entit� l'argument objetAL objetAL est une instance de Hallucination entit� exp�rimente objetAL a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8600-8610	Objet est une instance de Poison d�palcement est une instance de ing�rer moves d�palcement and objet AutonomousAgent exp�rimente d�palcement processus processus est une instance de endommager AutonomousAgent exp�rimente processus d�palcement cause processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8624-8635	Objet est une instance de Poison d�palcement est une instance de ing�rer moves d�palcement and objet AutonomousAgent exp�rimente d�palcement l'argument Blind est un attribut de AutonomousAgent pendant apr�s temps d'existence de d�palcement a la force modale de Possibility

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	Nombre r�el McgPerKg(s) est PerFn mesure de masse and mesure de masse mesure de masse est nombre r�el un millioni�me de Gram(s) mesure de masse est nombre r�el 1 millier Grams(s) processus objet en une partie and objet en une partie processus est une instance de ing�rer objet en une partie est une instance de substance biologique active objet en une partie est une instance de organisme objet en une partie est un patient de processus processus est un agent de objet en une partie weight objet en une partie and mesure de masse weight objet en une partie and mesure de masse
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10289-10297	Processus est une instance de Digesting processus est un agent de AutonomousAgent processus processus est une instance de ing�rer processus est un agent de AutonomousAgent temps d'existence de processus recouvre temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 2548-2562	Objet est une instance de organisme objet est une instance de Egg Embryonic est un attribut de objet objet est une partie de objet physique physique est une instance de EggYolk physique a pour but entit� entit� est une instance de ing�rer entit� est un agent de objet physique est une resource pour entit�
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1288-1290	diseaseMedicine maladie ou syndrome, OralAntibiotic and processus processus est une sous-classe de ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3317-3332	Physique est une instance de Antiseizure physique a pour but entit� entit� and entit� entit� est une instance de humain entit� est une instance de ing�rer objectTransferred entit� and physique entit� est un agent de entit� temps d'existence de entit� arrive plus t�t que entit� entit� entit� est une instance de Seizure entit� exp�rimente entit� pendant entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9697-9709	Physique est une instance de Antidepressant physique a pour but entit� entit� entit� est une instance de ing�rer objectTransferred entit� and physique physique est un agent de entit� Depression est un attribut de entit� pendant apr�s temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9717-9729	Physique est une instance de Antipsychotic physique a pour but entit� entit� entit� est une instance de ing�rer objectTransferred entit� and physique physique est un agent de entit� Psychosis est un attribut de entit� pendant apr�s temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4891-4911	Physique est une instance de Ivabradine physique a pour but entit� physiqueN and entit� entit� est une instance de humain entit� est une instance de PainFn Chest entit� exp�rimente entit� physiqueN est une instance de ing�rer physiqueN est un agent de entit� temps d'existence de entit� arrive plus t�t que temps d'existence de physiqueN entit�2 entit�2 est une instance de PainFn Chest entit� exp�rimente entit�2 temps d'existence de physiqueN arrive plus t�t que temps d'existence de entit�2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12421-12441	Physique est une instance de AntiInflammatory physique a pour but entit� entit� and entit�N entit� est une instance de Inflammation entit� exp�rimente entit� entit�N est une instance de ing�rer le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit�N entit�2 entit�2 est une instance de Inflammation entit� exp�rimente entit�2 pendant apr�s temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9255-9263	Physique est une instance de Pill physique a pour but entit� entit� entit� est une instance de animal entit� est une instance de ing�rer entit� exp�rimente entit� objectTransferred entit� and physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6610-6615	Processus est une instance de Swallowing processus processus est une instance de ing�rer processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2252-2258	Physique est une instance de Tableware physique a pour but entit� entit� est une instance de ing�rer physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1050-1066	Physique est une instance de TranexamicAcid physique a pour but entit� entit� est une instance de humain entit� entit� est une instance de ing�rer objectTransferred entit� and physique entit� aboutit � entit� diminue la probabilit� de entit� entit� entit� est une instance de humain entit� est une instance de Bleeding entit� a pour origine entit�

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: