| Line 23 was replaced by line 23 |
| - concept Animal kind_of Organism |
| + concept Animal kind-of Organism |
| Line 26 was replaced by line 26 |
| - This sentence states that 'Animal' is a subconcept of 'Organism'. In other words, every animal is an organism. The term 'kind_of' is a reserved word (sometimes referred to as "isa"). The sentence is considered an axiom because it is asserting a rule, or relationship, that is assumed to hold between 'Animal' and 'Organism'. Namely, that being an animal implies being an organism. |
| + This sentence states that 'Animal' is a subconcept of 'Organism'. In other words, every animal is an organism. The term 'kind-of' is a reserved word (sometimes referred to as "is-a"). The sentence is considered an axiom because it is asserting a rule, or relationship, that is assumed to hold between 'Animal' and 'Organism'. Namely, that being an animal implies being an organism. |
| Line 33 was replaced by line 33 |
| - concept Animal kind_of Organism |
| + concept Animal kind-of Organism |
| Lines 39-40 were replaced by lines 39-40 |
| - concept Animal kind_of Organism |
| - concept Animal kind_of not Plant |
| + concept Animal kind-of Organism |
| + concept Animal kind-of not Plant |
| Line 46 was replaced by line 46 |
| - concept Animal kind_of Organism and not Plant |
| + concept Animal kind-of Organism and not Plant |
| Line 54 was replaced by line 54 |
| - CONCEPT animal KIND_OF organism AND NOT plant |
| + CONCEPT animal KIND-OF organism AND NOT plant |
| At line 56 added 1 line. |
| + |
| At line 58 added 1 line. |
| + Another type of concept axiom that can be expressed in sparrow is equivalence among concepts. For example, consider the following sentence. |
| At line 59 added 3 lines. |
| + {{{ |
| + concept Macromolecule same-as Molecule and consistsOf at-least 100 Atom |
| + }}} |
