No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 784-786 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 788-788 |
域 haploidNumber, 1 and Gamete |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 789-789 |
域 haploidNumber, 2 and Integer |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 783-783 |
例 haploidNumber and BinaryPredicate |