|
| 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 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 247-247 | Mammal is a biological agent carrier of rickettsial agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1673-1673 | Bird is a biological agent carrier of saint louis encephalitis virus |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1674-1674 | Mosquito is a biological agent carrier of saint louis encephalitis virus |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1455-1455 | Mollusk is a biological agent carrier of saxitoxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2024-2024 | Tick is a biological agent carrier of tick borne encephalitis virus |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1626-1626 | Mosquito is a biological agent carrier of west nile virus |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 408-408 | Insect is a biological agent carrier of yersinia pestis |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 407-407 | Rodent is a biological agent carrier of yersinia pestis |
|
|
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