supreme court

Deductions

• tribunal is for example supreme court ⇐ (supreme court is a tribunal), (is a is inverse of is for example)
• supreme court is a tribunal ⇐ (court is subclass of tribunal), (supreme court is a court)
• court is for example supreme court ⇐ (supreme court is a court), (is a is inverse of is for example)
• supreme court is for example Constitutional Court of South Africa ⇐ (Constitutional Court of South Africa is a supreme court), (is a is inverse of is for example)
• supreme court is subclass of court ⇐ (lower court is subclass of court), (lower court is opposite of supreme court)
• Constitutional Court of South Africa is a supreme court ⇐ (constitutional court is subclass of supreme court), (Constitutional Court of South Africa is a constitutional court)
• supreme court is for example Supreme Court of the United States ⇐ (Supreme Court of the United States is a supreme court), (is a is inverse of is for example)