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 965-967
No TPTP formula. May not be expressible in strict first order. WMD.kif 963-963 The number 1 argument of biological agent carrier is a subclass of biological agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 964-964 The number 2 argument of biological agent carrier is a subclass of organism
No TPTP formula. May not be expressible in strict first order. WMD.kif 962-962 biological agent carrier is an instance of binary predicate

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 11108-11108
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11107-11107
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11106-11106

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 969-973

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 969-973

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 285-285 Hoofed mammal is a biological agent carrier of bacillus anthracis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1577-1577 Human is a biological agent carrier of bordetella pertussis
No TPTP formula. May not be expressible in strict first order. WMD.kif 356-356 Mammal is a biological agent carrier of burkholderia mallei
No TPTP formula. May not be expressible in strict first order. WMD.kif 372-372 Mammal is a biological agent carrier of burkholderia pseudomallei
No TPTP formula. May not be expressible in strict first order. WMD.kif 1588-1588 Bird is a biological agent carrier of chlamydia psittaci
No TPTP formula. May not be expressible in strict first order. WMD.kif 1461-1461 Mollusk is a biological agent carrier of conotoxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1910-1910 Arachnid is a biological agent carrier of crimean congo hemorrhagic fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1629-1629 Mosquito is a biological agent carrier of dengue fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1680-1680 Mosquito is a biological agent carrier of eastern equine encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1197-1197 Arachnid is a biological agent carrier of francisella tularensis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1196-1196 Rodent is a biological agent carrier of francisella tularensis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1356-1356 Rodent is a biological agent carrier of giardia lamblia
No TPTP formula. May not be expressible in strict first order. WMD.kif 1515-1515 Monkey is a biological agent carrier of herpesB virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1694-1694 Mosquito is a biological agent carrier of japanese encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1916-1916 Rodent is a biological agent carrier of junin virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1650-1650 Mosquito is a biological agent carrier of la crosse virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1651-1651 Rodent is a biological agent carrier of la crosse virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1851-1851 Rodent is a biological agent carrier of lassa virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1929-1929 Rodent is a biological agent carrier of machupo virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1606-1606 Mosquito is a biological agent carrier of malarial plasmodium
No TPTP formula. May not be expressible in strict first order. WMD.kif 1227-1227 Mammal is a biological agent carrier of monkeypox virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1395-1395 Rodent is a biological agent carrier of Myxomatosis
No TPTP formula. May not be expressible in strict first order. WMD.kif 267-267 Arthropod is a biological agent carrier of rickettsia prowazekii
No TPTP formula. May not be expressible in strict first order. WMD.kif 253-253 Arthropod is a biological agent carrier of rickettsia rickettsii
No TPTP formula. May not be expressible in strict first order. WMD.kif 248-248 Arthropod is a biological agent carrier of rickettsial agent

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