|
|
  RespiratoryDistress
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1250-1251 | |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1249-1249 | Respiratory distress is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1246-1246 | Respiratory distress is a disease symptom of Covid |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1252-1252 |
|
|
|