TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3040-3041
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11435-11436
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1808-1809
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4735-4735
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11433-11433	Injecting e' uma sub-classe de Inserting

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 283-283	biochemicalAgentDelivery BacillusAnthracis and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 357-357	biochemicalAgentDelivery BurkholderiaMallei and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 373-373	biochemicalAgentDelivery BurkholderiaPseudomallei and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1507-1507	biochemicalAgentDelivery ClostridiumTetani and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1921-1921	biochemicalAgentDelivery CrimeanCongoHemorrhagicFeverVirus and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1641-1641	biochemicalAgentDelivery DengueFeverVirus and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1690-1690	biochemicalAgentDelivery EasternEquineEncephalitisVirus and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1783-1783	biochemicalAgentDelivery HepatitisAVirus and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1795-1795	biochemicalAgentDelivery HepatitisBVirus and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1806-1806	biochemicalAgentDelivery HepatitisCVirus and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1704-1704	biochemicalAgentDelivery JapaneseEncephalitisVirus and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1661-1661	biochemicalAgentDelivery LaCrosseVirus and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1616-1616	biochemicalAgentDelivery MalarialPlasmodium and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1736-1736	biochemicalAgentDelivery MarburgVirus and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1234-1234	biochemicalAgentDelivery MonkeypoxVirus and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1675-1675	biochemicalAgentDelivery SaintLouisEncephalitisVirus and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2025-2025	biochemicalAgentDelivery TickBorneEncephalitisVirus and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1628-1628	biochemicalAgentDelivery WestNileVirus and Injecting
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30151-30151
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30150-30150
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30149-30149

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	WMD.kif 561-561	biochemicalAgentAntidote NerveAgent, Atropine and Injecting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5086-5086	diseaseMedicine Ondansetron, Nausea and Injecting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5088-5088	diseaseMedicine Ondansetron, Vomiting and Injecting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3624-3624	diseaseMedicine RheumatoidArthritis, Clarithromycin and Injecting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5269-5269	diseaseMedicine RheumatoidArthritis, Sarilumab and Injecting

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3628-3644	Transferencia e' uma instancia de Injecting Objeto e' uma instancia de Adalimumab objectTransferred Transferencia and Objeto Transferencia e' situado em Objeto Objeto e' uma instancia de Parte do Corpo Transferencia termina em Entidade o argumento Entidade PainFn Objeto e' um atributo de Entidade vale durante Entidade Entidade acontece durante apos tempo de existencia de Transferencia tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11438-11446	Processo e' uma instancia de Injecting Objeto Entidade Objeto e' um patient de Processo Objeto e' uma instancia de Substancia Biologica Ativa Liquid e' um atributo de Objeto Processo termina em Entidade Entidade e' uma instancia de Animal

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1374-1381	InfectiousDisease e' um atributo de Entidade Diabetes e' um atributo de Entidade ImpairedBodyPartFn Foot e' um atributo de Entidade vale durante Posicao Temporal diseaseMedicine InfectiousDisease, Ertapenem and Injecting vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1347-1353	Fisico e' uma instancia de InjectedAntibiotic Fisico tem por fim Entidade Entidade e' uma instancia de Injecting objectTransferred Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6378-6390	Fisico e' uma instancia de EpiPen Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Injecting Fisico e' um instrumento para Entidade Entidade termina em Entidade Entidade experimenta Entidade Entidade e' uma instancia de Anaphylaxis tempo de existencia de Entidade acontece durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6370-6376	Fisico e' uma instancia de EpiPen Fisico tem por fim Entidade Entidade e' uma instancia de Injecting Fisico e' um instrumento para 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: