| YellowSkin(yellow skin)
| | black_vomit, yellow_fever, yellow_jack |
| 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 | Yellow skin is an instance of viral disease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1175-1175 | Yellow skin is a biochemical agent syndrome of yellow fever virus |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63793-63793 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63792-63792 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63791-63791 |
|
|
|