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 |