| 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 | 黄皮肤 是 病毒性疾病 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1175-1175 | 黄皮肤 是 黄热病病毒 的 biochemical 病毒征兆 |
| 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 |
|
|
|