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 | 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 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 |