| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 232-232 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 230-230 | ViralAgent est une sous-classe de ToxicOrganism |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 231-231 | ViralAgent est une sous-classe de virus |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1918-1918 | CrimeanCongoHemorrhagicFeverVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1637-1637 | DengueFeverVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1688-1688 | EasternEquineEncephalitisVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1195-1195 | EbolaVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1969-1969 | FlexalVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1186-1186 | FootAndMouthVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1949-1949 | GuanaritoVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1347-1347 | HIVVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2051-2051 | HendraVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1770-1770 | HepatitisVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1511-1511 | HerpesVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1702-1702 | JapaneseEncephalitisVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1924-1924 | JuninVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1658-1658 | LaCrosseVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1856-1856 | LassaVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1937-1937 | MachupoVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1734-1734 | MarburgVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1232-1232 | MonkeypoxVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1402-1402 | Myxomatosis est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2057-2057 | NipahVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1816-1816 | Rotavirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1959-1959 | SabiaVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1672-1672 | SaintLouisEncephalitisVirus est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1254-1254 | VariolaMajor est une sous-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1259-1259 | VariolaMinor est une sous-classe de ViralAgent |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1131-1136 |
|
|
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