This paper presents the results of an attempt to convert 101 law texts of typical patent acts in intellectual property law into logical formulas. From the …