|
|
  YellowSkin
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1170-1171 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8810-8810 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9863-9863 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1169-1169 | YellowSkin est une instance de ViralDisease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1175-1175 | biochemicalAgentSyndrome YellowFeverVirus and YellowSkin |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63795-63795 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63794-63794 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63793-63793 |
|
|
|
