Syntax:

<concept A> :: <concept B>.

 

Semantic:

<concept A> is a subconcept of <concept B>

 

Sample:

person[].

man::person.

woman::person.