Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  biologicalAgentCarrier

 Sigma KEE - biologicalAgentCarrier
biologicalAgentCarrier

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 972-974
No TPTP formula. May not be expressible in strict first order. WMD.kif 970-970 O argumento numero 1 de biologicalAgentCarrier e' uma sub-classe de BiologicalAgent
No TPTP formula. May not be expressible in strict first order. WMD.kif 971-971 O argumento numero 2 de biologicalAgentCarrier e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order. WMD.kif 969-969 biologicalAgentCarrier e' uma instancia de Predicado Binario

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 304-304
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 303-303
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 302-302
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11099-11099
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11098-11098
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11097-11097

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 976-980
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2007-2009

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 976-980
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2003-2005

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 285-285 biologicalAgentCarrier BacillusAnthracis and Ungulado
No TPTP formula. May not be expressible in strict first order. WMD.kif 1586-1586 biologicalAgentCarrier BordetellaPertussis and Humano
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1429-1429 biologicalAgentCarrier Borrelia and Louse
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1428-1428 biologicalAgentCarrier Borrelia and Tick
No TPTP formula. May not be expressible in strict first order. WMD.kif 356-356 biologicalAgentCarrier BurkholderiaMallei and Mamifero
No TPTP formula. May not be expressible in strict first order. WMD.kif 372-372 biologicalAgentCarrier BurkholderiaPseudomallei and Mamifero
No TPTP formula. May not be expressible in strict first order. WMD.kif 1597-1597 biologicalAgentCarrier ChlamydiaPsittaci and Passaro
No TPTP formula. May not be expressible in strict first order. WMD.kif 1470-1470 biologicalAgentCarrier Conotoxin and Molusco
No TPTP formula. May not be expressible in strict first order. WMD.kif 1919-1919 biologicalAgentCarrier CrimeanCongoHemorrhagicFeverVirus and Aracnideo
No TPTP formula. May not be expressible in strict first order. WMD.kif 1638-1638 biologicalAgentCarrier DengueFeverVirus and Mosquito
No TPTP formula. May not be expressible in strict first order. WMD.kif 1689-1689 biologicalAgentCarrier EasternEquineEncephalitisVirus and Mosquito
No TPTP formula. May not be expressible in strict first order. WMD.kif 1205-1205 biologicalAgentCarrier FrancisellaTularensis and Aracnideo
No TPTP formula. May not be expressible in strict first order. WMD.kif 1204-1204 biologicalAgentCarrier FrancisellaTularensis and Roedor
No TPTP formula. May not be expressible in strict first order. WMD.kif 1365-1365 biologicalAgentCarrier GiardiaLamblia and Roedor
No TPTP formula. May not be expressible in strict first order. WMD.kif 1524-1524 biologicalAgentCarrier HerpesBVirus and Macaco
No TPTP formula. May not be expressible in strict first order. WMD.kif 1703-1703 biologicalAgentCarrier JapaneseEncephalitisVirus and Mosquito
No TPTP formula. May not be expressible in strict first order. WMD.kif 1925-1925 biologicalAgentCarrier JuninVirus and Roedor
No TPTP formula. May not be expressible in strict first order. WMD.kif 1659-1659 biologicalAgentCarrier LaCrosseVirus and Mosquito
No TPTP formula. May not be expressible in strict first order. WMD.kif 1660-1660 biologicalAgentCarrier LaCrosseVirus and Roedor
No TPTP formula. May not be expressible in strict first order. WMD.kif 1860-1860 biologicalAgentCarrier LassaVirus and Roedor
No TPTP formula. May not be expressible in strict first order. WMD.kif 1938-1938 biologicalAgentCarrier MachupoVirus and Roedor
No TPTP formula. May not be expressible in strict first order. WMD.kif 1615-1615 biologicalAgentCarrier MalarialPlasmodium and Mosquito
No TPTP formula. May not be expressible in strict first order. WMD.kif 1235-1235 biologicalAgentCarrier MonkeypoxVirus and Mamifero
No TPTP formula. May not be expressible in strict first order. WMD.kif 1404-1404 biologicalAgentCarrier Myxomatosis and Roedor
No TPTP formula. May not be expressible in strict first order. WMD.kif 267-267 biologicalAgentCarrier RickettsiaProwazekii and Artropode

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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