Is-(not-)the-same-as

Is-the-same-as expresses that two individuals are the same. Is-not-the-same-as expresses that two individuals are different. It refers to OWL sameAs axiom. It should not be replaced with expressions is or is not.

Examples

Those examples show how to use the keywords and why they should not be replaced with is or is not.

Example: A cat and its owner are different.
If a man has-pet a cat then the man is-not-the-same-as the cat.
Example: Here, the person is the same individual as the human mentioned in the antecedent part of the rule.
If a person has-synonym a human then the person is-the-same-as the human.
Example: Here, the consequent clause the person is the human means that there exists (somewhere) some unspecified individual of human class which is the same individual as the person mentioned.
If a person has-synonym a human then the person is the human.