TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2906-2907
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10242-10244
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1655-1656
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10240-10240	Respirar e' uma sub-classe de AutonomicProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10239-10239	Respirar e' uma sub-classe de Processo Organico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 292-292	biochemicalAgentDelivery AerosolizedBacillusAnthracis and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 281-281	biochemicalAgentDelivery BacillusAnthracis and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 200-200	biochemicalAgentDelivery BacterialAgent and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 477-477	biochemicalAgentDelivery BlisterAgent and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 523-523	biochemicalAgentDelivery BloodAgent and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1588-1588	biochemicalAgentDelivery BordetellaPertussis and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 374-374	biochemicalAgentDelivery BurkholderiaPseudomallei and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1598-1598	biochemicalAgentDelivery ChlamydiaPsittaci and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 603-603	biochemicalAgentDelivery ChokingAgent and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1250-1250	biochemicalAgentDelivery CoxiellaBurnetii and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1207-1207	biochemicalAgentDelivery FrancisellaTularensis and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1927-1927	biochemicalAgentDelivery JuninVirus and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1940-1940	biochemicalAgentDelivery MachupoVirus and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1735-1735	biochemicalAgentDelivery MarburgVirus and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1727-1727	biochemicalAgentDelivery MycobacteriumTuberculosis and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 559-559	biochemicalAgentDelivery NerveAgent and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1457-1457	biochemicalAgentDelivery Saxitoxin and Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1442-1442	biochemicalAgentDelivery StaphylococcalEnterotoxinB and Respirar
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1700-1700	BreathingAtAMoreRapidRate e' uma sub-classe de Respirar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11301-11301	Exhaling e' uma sub-classe de Respirar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11290-11290	Inhaling e' uma sub-classe de Respirar
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1078-1078
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1367-1367
No TPTP formula. May not be expressible in strict first order.	french_format.kif 756-756

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.	Medicine.kif 4105-4117	Objeto e' uma instancia de InvasiveVentilator Processo e' uma instancia de Respirar AutonomousAgent experimenta Processo Objeto e' um instrumento para Processo Processo Processo e' uma instancia de Intubation Processo termina em AutonomousAgent tempo de existencia de Processo acontence antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	Intervalo Temporal e' uma instancia de TimePeriod a duracao de Intervalo Temporal e' Numero Real MinuteDuration(s) Numero Real e' maior que 5.0 Entidade e' uma instancia de Humano Processo Processo e' uma instancia de Respirar tempo de existencia de Processo acontece durante Intervalo Temporal Entidade e' um patient de Processo o argumento Entidade Entidade e' uma instancia de Morte Entidade experimenta Entidade Intervalo Temporal encontra tempo de existencia de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11191-11196	Objeto Corpuscular e' capaz de fazer Respirar no role experiencer Objeto Corpuscular Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de Lung

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6304-6313	Processo e' uma instancia de Asphyxiation AutonomousAgent experimenta Processo Entidade Entidade e' uma instancia de Respirar Processo experimenta Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 767-785	Processo e' uma instancia de Cricothyroidotomy Entidade e' um patient de Processo Processo tem por fim Entidade Entidade e' uma instancia de ImpairmentFn Respirar Entidade e' um patient de Entidade vale durante imediatemente antes de tempo de existencia de Processo Entidade Entidade e' uma instancia de ImpairmentFn Respirar Entidade e' um patient de Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4123-4133	Transferencia e' uma instancia de Intubation Objeto e' uma instancia de Tube objectTransferred Transferencia and Objeto AutonomousAgent experimenta Transferencia Transferencia tem por fim Entidade Entidade e' uma instancia de Respirar Objeto e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6537-6547	Processo e' uma instancia de Strangling Entidade e' um patient de Processo Entidade e' uma instancia de Humano Processo tem por fim Entidade Entidade e' uma instancia de Respirar Entidade e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3417-3423	Asthma e' um atributo de AutonomousAgent Processo Processo e' uma instancia de ImpairmentFn Respirar AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5986-5989	ChronicObstructivePulmonaryDisease e' um atributo de Objeto Objeto e' uma instancia de ImpairmentFn Respirar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1150-1157	InhalationalAnthrax e' um atributo de AutonomousAgent Entidade Processo Entidade e' uma instancia de BacillusAnthracis Processo e' uma instancia de Respirar Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4161-4178	SleepApnea e' um atributo de AutonomousAgent Sleeping e' um atributo de AutonomousAgent vale durante Intervalo Temporal Intervalo Temporal2 Processo and Processo2 Intervalo Temporal2 acontece durante Intervalo Temporal Processo Processo e' uma instancia de Respirar tempo de existencia de Processo acontece durante Intervalo Temporal2 AutonomousAgent experimenta Processo Processo2 e' uma instancia de Respirar AutonomousAgent tem necessidade de Processo2 vale durante Intervalo Temporal2
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 812-821	Pneumothorax e' um atributo de Entidade vale durante Intervalo Temporal Processo Processo e' uma instancia de ImpairmentFn Respirar Entidade e' um patient de Processo Intervalo Temporal acontece durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 730-740	Fisico e' uma instancia de NasopharyngealAirway Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Respirar Entidade e' situado em Entidade Inconsciente e' um atributo de Entidade vale durante tempo de existencia de Entidade Fisico e' o caminho ao longo do qual Entidade ocorre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18459-18471	Fisico e' uma instancia de Suffocating Entidade Entidade experimenta Fisico Entidade Entidade e' uma instancia de Respirar Entidade experimenta Entidade 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 26902-26911	Objeto e' uma instancia de ScubaDiving Objeto Objeto and Processo Objeto e' uma instancia de Area Aquatica Objeto e' Below em relacao a Objeto Objeto e' uma instancia de Aparelho Processo e' uma instancia de Respirar Objeto e' um instrumento para Processo Processo e' um sub-processo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16071-16082	Processo e' uma instancia de Smoking Processo Objeto, Processo and Entidade Processo e' um sub-processo de Processo Processo e' uma instancia de Combustao Objeto e' um recurso para Processo Objeto e' uma instancia de CigarOrCigarette Entidade e' o resultado de Processo Entidade e' um patient de Processo Processo e' uma instancia de Respirar Processo e' um sub-processo de Processo

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2037-2037	BreathingDifficulty e' uma sub-classe de ImpairmentFn Respirar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11748-11748	Choking e' uma sub-classe de ImpairmentFn Respirar

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: