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