|
|
   FullBoard
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1835-1837 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5839-5839 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1834-1834 | 黄曲霉毒素中毒 是 危及生命的疾病 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1829-1829 | 黄曲霉毒素中毒 是 黄曲霉毒素 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5712-5712 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5711-5711 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5710-5710 |
|
|
|
