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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 971-971 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 969-969 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 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 Hoofed mammal is a biological agent carrier of bacillus anthracis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1586-1586 Human is a biological agent carrier of bordetella pertussis
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1429-1429 Lice is a biological agent carrier of borrelia
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1428-1428 Tick is a biological agent carrier of borrelia
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 1597-1597 Bird is a biological agent carrier of chlamydia psittaci
No TPTP formula. May not be expressible in strict first order. WMD.kif 1470-1470 Mollusk is a biological agent carrier of conotoxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1919-1919 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 1638-1638 Mosquito is a biological agent carrier of dengue fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1689-1689 Mosquito is a biological agent carrier of eastern equine encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1205-1205 Arachnid is a biological agent carrier of francisella tularensis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1204-1204 Rodent is a biological agent carrier of francisella tularensis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1365-1365 Rodent is a biological agent carrier of giardia lamblia
No TPTP formula. May not be expressible in strict first order. WMD.kif 1524-1524 Monkey is a biological agent carrier of herpesB virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1703-1703 Mosquito is a biological agent carrier of japanese encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1925-1925 Rodent is a biological agent carrier of junin virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1659-1659 Mosquito is a biological agent carrier of la crosse virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1660-1660 Rodent is a biological agent carrier of la crosse virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1860-1860 Rodent is a biological agent carrier of lassa virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1938-1938 Rodent is a biological agent carrier of machupo virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1615-1615 Mosquito is a biological agent carrier of malarial plasmodium
No TPTP formula. May not be expressible in strict first order. WMD.kif 1235-1235 Mammal is a biological agent carrier of monkeypox virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1404-1404 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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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