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 404-404 |
The number 1 argument of cell shape is an instance of cell |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 405-405 |
The number 2 argument of cell shape is an instance of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 402-402 |
cell shape is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 403-403 |
cell shape is a subrelation of shape |