chromosomeSetCount |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 819-821 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 823-823 | The number 1 argument of chromosome set count is an instance of monoploid chromosome set |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 824-824 | The number 2 argument of chromosome set count is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 825-825 | The number 3 argument of chromosome set count is an instance of integer |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 818-818 | chromosome set count is an instance of ternary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 826-827 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 822-822 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 829-836 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 939-949 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 992-1002 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 896-905 |
|
consequent |