|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 253-253 | biologicalAgentCarrier RickettsiaRickettsii and Artropode |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 248-248 | biologicalAgentCarrier RickettsialAgent and Artropode |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 247-247 | biologicalAgentCarrier RickettsialAgent and Mamifero |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1673-1673 | biologicalAgentCarrier SaintLouisEncephalitisVirus and Passaro |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1674-1674 | biologicalAgentCarrier SaintLouisEncephalitisVirus and Mosquito |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1455-1455 | biologicalAgentCarrier Saxitoxin and Molusco |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2024-2024 | biologicalAgentCarrier TickBorneEncephalitisVirus and Tick |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1626-1626 | biologicalAgentCarrier WestNileVirus and Mosquito |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 408-408 | biologicalAgentCarrier YersiniaPestis and Inseto |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 407-407 | biologicalAgentCarrier YersiniaPestis and Roedor |
|
|
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