No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 408-416 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 405-405 |
cellShape 的 2 数量 是 形状属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 404-404 |
cellShape 的 1 数量 是 细胞 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 402-402 |
cellShape 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 403-403 |
cellShape 是 shape 的 subrelation |