From: An ontology-based search engine for protein-protein interactions
Term | Prime number | Relation | Modified Gödel Number |
---|---|---|---|
Term1 | 2 | ||
Term2 | 3 | R1: Term2 is a Term1 | relation(is a) = 3 × 2 = 6 |
Term3 | 5 | R2: Term3 is part of Term2 | relation(part of) = 5 × 3 × 2 = 30 |
Term4 | 7 | R3: Term4 is a Term2 | relation(is a) = 7 × 3 × 2 = 42 |