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 and ShapeAttribute |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 404-404 |
域子類 cellShape, 1 and Cell |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 402-402 |
例 cellShape and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 403-403 |
子關係 cellShape and shape |