No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 190-191 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8236-8236 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6961-6961 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8227-8227 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8237-8237 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8228-8228 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8238-8238 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8229-8229 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8230-8230 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8231-8231 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8239-8239 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8233-8233 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8234-8234 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 189-189 |
例 病毒 and DevelopmentalAttribute |