Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Inference rules for is_a and part_of in GO
| Relation | is_a | part_of |
|---|---|---|
| is_a | IF <x is_a y>
& <y is_a z> THEN <x is_a z> |
IF <x is_a y>
& <y part_of z> THEN <x part_of z> |
| part_of | IF <x part_of y>
& <y is_a z> THEN <x part_of z> |
IF <x part_of y>
& <y part_of z> THEN <x part_of z> |
