BrucellaBacterium
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 387-387 | 波状热 是 布鲁氏菌 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 388-391 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4566-4566 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 386-386 | 布鲁氏菌 是 细菌剂 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12143-12143 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12142-12142 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12141-12141 |